Geometrical axiomatization for model complete theories of differential topological fields

DOI10.1305/ndjfl/1163775440zbMath1113.03033OpenAlexW1969285908MaRDI QIDQ866495

Cédric Rivière, Nicolas Guzy

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)

Related Items

Differentially large fields, Cell decomposition and dimension function in the theory of closed ordered differential fields