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/

[1] N. Bourbaki (1951) - Elements de mathématique, 12, 107. Paris. | MR

[2] P. J. Cohen (1969) - Decision procedures for real and p-adic fields. Communications on «Pure and Applied Mathematics», 22. | DOI | MR | Zbl

[3] I. Kaplanski (1957) - An introduction to differential algebra, Hermann, Paris. | MR

[4] P. Mangani (1972-73) - Geometria algebrica, Dispense, Firenze.

[5] J. F. Ritt (1950) - Differential algebra, New York. | MR

[6] A. Robinson (1965) - Introduction to model theory and to the metamathematics of algebra, North-Holland, Publ. Co. | MR

[7] A. Robinson (1972) - On the real closure of a Hardy field, Theory of sets and topology, Berlin. | MR

[8] G. Sacks (1972) - Saturated model theory, Benjamin. | MR

[9] A. Seidenberg (1956) - An elimination theory for differential algebra, University of California, Publication in Mathematics. | MR | Zbl

[10] A. Seidenberg - Some basic theorems in differential algebra, «Transactions of the American Mathematical Society», 73, 174-190. | DOI | MR

[11] A. Tarski (1951) - A decision method for elementary algebra and geometry, Berkeley and Los Angeles, | MR | Zbl