T-convexity and tame extensions
From MaRDI portal
Publication:4836044
DOI10.2307/2275510zbMath0856.03028OpenAlexW2042400181MaRDI QIDQ4836044
Adam H. Lewenberg, L. P. D. van den Dries
Publication date: 20 March 1997
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275510
Model-theoretic algebra (03C60) Properties of classes of models (03C52) Ordered fields (12J15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10) Categoricity and completeness of theories (03C35)
Related Items
Expansions of the real field with power functions ⋮ Motivic integration and Milnor fiber ⋮ On the structure of nonarchimedean exponential fields. I ⋮ Pseudo completions and completions in stages of o-minimal structures ⋮ Definable functions and stratifications in power-bounded \(T\)-convex fields ⋮ Toward a model theory for transseries ⋮ Interpretable fields in various valued fields ⋮ Liouville closed \(H_T\)-fields ⋮ Generalized Euler characteristic in power-bounded T-convex valued fields ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ Spherically complete models of Hensel minimal valued fields ⋮ Non‐archimedean stratifications of tangent cones ⋮ \(T\)-convex \(T\)-differential fields and their immediate extensions ⋮ Real closed valued fields with analytic structure ⋮ Transseries and Todorov-Vernaeve's asymptotic fields ⋮ O-minimal residue fields of o-minimal fields ⋮ Externally definable sets and dependent pairs ⋮ Structures having o-minimal open core ⋮ Basics of O-minimality and Hardy Fields ⋮ Positive primitive formulae of modules over rings of semi-algebraic functions on a curve ⋮ On coincidence of dimensions in closed ordered differential fields ⋮ Separably closed valued fields: immediate expansions ⋮ Definable choice for a class of weakly o-minimal theories ⋮ Generic derivations on o-minimal structures ⋮ DISTAL AND NON-DISTAL PAIRS ⋮ The elementary theory of Dedekind cuts in polynomially bounded structures ⋮ Directed sets and topological spaces definable in o‐minimal structures ⋮ Locally injective maps in o-minimal structures without poles are surjective ⋮ Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories ⋮ Residue field domination in real closed valued fields ⋮ Hensel minimality I ⋮ Quantifier elimination for o-minimal structures expanded by a valuational cut ⋮ Weakly o-minimal structures and real closed fields ⋮ Definable functions continuous on curves in o-minimal structures ⋮ A note on \(\mu\)-stabilizers in ACVF
Cites Work
- \(p\)-adic and real subanalytic sets
- Real closed rings. II. Model theory
- Model completeness results for elliptic and abelian functions
- On the real exponential field with restricted analytic functions
- Expansions of the real field with power functions
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Unnamed Item