Geometrical axiomatization for model complete theories of differential topological fields

DOI10.1305/NDJFL/1163775440MaRDI QIDQ866495zbMATH OpenOpenAlexFDO

Authors Nicolas Guzy, Cédric Rivière

Publication date 20 February 2007

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1163775440

zbMATH Keywords

model companiondifferential lifting principledifferential topological fieldsfirst-order axiomsgeometric axiomatizationjet-spaces

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Topological differential fields
• THE MODEL COMPANION OF DIFFERENTIAL FIELDS WITH FREE OPERATORS
• On the model companion of partial differential fields with an automorphism
• Geometric axioms for differentially closed fields with several commuting derivations
• A note on the axioms for differentially closed fields of characteristic zero

Cited in

(6)

• On the model companion of partial differential fields with an automorphism
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• A geometric model for odd differential \(K\)-theory
• Topological differential fields
• Differentially large fields
• Axiomatic differential geometry. III-1 -- its landscape. I: Model theory. I

This page was built for publication: Geometrical axiomatization for model complete theories of differential topological fields

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