A short note on model theory of C((t))

2025/01/21 by Z. John Zhang, Zhang, Zhentao
Mathematics · #Numerical methods for differential equations

paper · pdf · doi:10.48550/arxiv.2501.12545

Abstract

In this short note, we study C((t)) in the language of valued rings. We show that a definable subset of C((t))n (or in monster model, Mn) is definably compact iff it is closed and unbounded. Then we give some comments on definable groups over C((t)).

Related

• On relationships between algebraic properties of groups and rings in some model-theoretic contexts
• Types, transversals and definable compactness in o-minimal structures
• Amenability, connected components, and definable actions
• Amenability, definable groups, and automorphism groups
• Generalised Bohr compactification and model-theoretic connected components