Geometrical axiomatization for model complete theories of differential topological fields

DOI10.1305/NDJFL/1163775440zbMATH Open1113.03033OpenAlexW1969285908MaRDI QIDQ866495FDOQ866495

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

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

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)

Cited In (6)

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

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)