Geodesic
Teoria dei campi differenziali ordinati
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 59 (1975) no. 5, pp. 322-327

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

In this paper we study the theory of ordered differential fields (CDO); in other words, the theory obtained adding the order axioms for a field to "differential field" 's axioms. If we consider a model K of such theory and we "forget" order, we know that such model is embedded in its differential closure. In a such closure, we can consider the set of real fields. Such a set has maximal elements (with respect to inclusion). We call CDO* the theory of so obtained maximal elements, for all $K \in Mod$ (CDO). If we neglect derivation, models of CDO* are real closed and then ordered. So we can prove that CDO* is the model completion of CDO. We find the axioms of CDO*, too. Finally, we find a method for eliminating quantifiers (for CDO*) in the formulas containing only inequalities. 
@article{RLINA_1975_8_59_5_a2,
     author = {Lacava, Francesco},
     title = {Teoria dei campi differenziali ordinati},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {322--327},
     publisher = {mathdoc},
     volume = {Ser. 8, 59},
     number = {5},
     year = {1975},
     zbl = {0353.02032},
     mrnumber = {0480009},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a2/}
}
TY  - JOUR
AU  - Lacava, Francesco
TI  - Teoria dei campi differenziali ordinati
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1975
SP  - 322
EP  - 327
VL  - 59
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a2/
LA  - it
ID  - RLINA_1975_8_59_5_a2
ER  - 
%0 Journal Article
%A Lacava, Francesco
%T Teoria dei campi differenziali ordinati
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1975
%P 322-327
%V 59
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a2/
%G it
%F RLINA_1975_8_59_5_a2
Lacava, Francesco. Teoria dei campi differenziali ordinati. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 59 (1975) no. 5, pp. 322-327. http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a2/