Topological differential fields and dimension functions
From MaRDI portal
Publication:4899165
DOI10.2178/jsl.7704050zbMath1387.03032MaRDI QIDQ4899165
Publication date: 7 January 2013
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1350315580
03C60: Model-theoretic algebra
12H05: Differential algebra
12J15: Ordered fields
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
12J10: Valued fields
Related Items
Dimension in the realm of transseries, STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, Definability of types and VC density in differential topological fields, Topological fields with a generic derivation
Cites Work
- Topological differential fields
- Dimension of definable sets, algebraic boundedness and Henselian fields
- Substitution Frege and extended Frege proof systems in non-classical logics
- Embedding problems over large fields
- Exponential algebraicity in exponential fields
- First order topological structures and theories
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function