Topological differential fields and dimension functions

DOI10.2178/JSL.7704050MaRDI QIDQ4899165zbMATH OpenOpenAlexFDO

Authors Nicolas Guzy, Françoise Point

Publication date 7 January 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1350315580

zbMATH Keywords

derivationdimensiontopological fields

Mathematics Subject Classification ID

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

Cites work

• Dimension of definable sets, algebraic boundedness and Henselian fields
• 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
• Substitution Frege and extended Frege proof systems in non-classical logics
• Topological differential fields

Cited in

(7)

• Definability of types and VC density in differential topological fields
• Topological fields with a generic derivation
• scientific article; zbMATH DE number 43465 (Why is no real title available?)
• Dimension in the realm of transseries
• scientific article; zbMATH DE number 857358 (Why is no real title available?)
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899165)