Topological differential fields and dimension functions

DOI10.2178/jsl.7704050zbMath1387.03032MaRDI QIDQ4899165

Nicolas Guzy, Françoise Point

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

zbMATH Keywords

dimension; derivation; topological fields

Mathematics Subject Classification ID

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