Mathematical Logic Quarterly 52 (4):331-339 (2006)

In his Ph.D. thesis [7], L. van den Dries studied the model theory of fields with finitely many orderings and valuations where all open sets according to the topology defined by an order or a valuation is globally dense according with all other orderings and valuations. Van den Dries proved that the theory of these fields is companionable and that the theory of the companion is decidable .In this paper we study the case where the fields are expanded with finitely many orderings and an independent derivation. We show that the theory of these fields still admits a model companion in the language Lequation image = {+, –, ·, D, <1, …,
Keywords model companion  m ‐ordered differential fields  geometric axiomatization
Categories (categorize this paper)
DOI 10.1002/malq.200510037
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,715
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Topological Differential Fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.

Add more citations

Similar books and articles

Elimination of Algorithmic Quantifiers for Ordered Differential Algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
The Model Theory of Ordered Differential Fields.Michael F. Singer - 1978 - Journal of Symbolic Logic 43 (1):82-91.
Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.
Differential Forms in the Model Theory of Differential Fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Further Notes on Cell Decomposition in Closed Ordered Differential Fields.Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):100-110.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Noetherian Varieties in Definably Complete Structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.


Added to PP index

Total views
105 ( #91,675 of 2,386,847 )

Recent downloads (6 months)
3 ( #262,029 of 2,386,847 )

How can I increase my downloads?


My notes