Topological differential fields and dimension functions

DOI10.2178/jsl.7704050zbMath1387.03032OpenAlexW2086915967MaRDI 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

dimensionderivationtopological fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Ordered fields (12J15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (5)

Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ Dimension in the realm of transseries ⋮ Definability of types and VC density in differential topological fields ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL 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

This page was built for publication: Topological differential fields and dimension functions