Lacava, Francesco:
Teoria dei campi differenziali ordinati
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 59 (1975), fasc. n.5, p. 322-327, (Italian)
pdf (462 Kb), djvu (648 Kb). | MR 0480009 | Zbl 0353.02032
Sunto
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.
Referenze Bibliografiche
[1]
N. BOURBAKI (
1951) -
Elements de mathématique,
12, 107. Paris. |
MR 580296[3]
I. KAPLANSKI (
1957) -
An introduction to differential algebra,
Hermann, Paris. |
MR 93654[4] P. MANGANI (1972-73) - Geometria algebrica, Dispense, Firenze.
[5]
J. F. RITT (
1950) -
Differential algebra, New York. |
MR 35763[6]
A. ROBINSON (
1965) -
Introduction to model theory and to the metamathematics of algebra,
North-Holland, Publ. Co. |
MR 153570[7]
A. ROBINSON (
1972) -
On the real closure of a Hardy field,
Theory of sets and topology, Berlin. |
MR 340225[8]
G. SACKS (
1972) -
Saturated model theory,
Benjamin. |
MR 398817[9]
A. SEIDENBERG (
1956) -
An elimination theory for differential algebra,
University of California, Publication in Mathematics. |
MR 82487 |
Zbl 0083.03302[10]
A. SEIDENBERG -
Some basic theorems in differential algebra, «
Transactions of the American Mathematical Society»,
73, 174-190. |
fulltext (doi) |
MR 49174[11]
A. TARSKI (
1951) -
A decision method for elementary algebra and geometry, Berkeley and Los Angeles, |
MR 44472 |
Zbl 0044.25102