bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

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
[2] P. J. COHEN (1969) - Decision procedures for real and p-adic fields. Communications on «Pure and Applied Mathematics», 22. | fulltext (doi) | MR 244025 | Zbl 0167.01502
[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

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali