Abstract
Using Becker's results we obtain here a simple first order axiomatization, looking like those by Artin-Schreier and also written in the language of fields, for the theory of Rolle fields (i.e. fields with the Rolle's property for every order). In fields having a finite number of orders, we characterize Rolle fields as those which are pythagorean at level 4 and do not admit any algebraic extension of odd degree.
Then we give an axiomatization for Rolle fields having exactly 2n orders (n≥0); in fact, for n=0 we recover an axiomatization of the theory of real-closed fields and for n=1 we get exactly an axiomatization given for the theory of chain-closed fields by the author in [G1].
Finally we prove that a Rolle field with exactly 2n orders is the intersection of n+1 real closures of the field.
Similar content being viewed by others
References
[B-C-P1]R. Brown, T. Craven, M.J. Pelling: “Ordered fields satisfying Rolle's theorem”, Rocky Mountain J. of Math., vol. 14, 819–820 (1984)
[B-C-P2]R. Brown, T. Craven, M.J. Pelling: “Ordered fields satisfying Rolle's theorem”, Ill. J. of Math., vol. 30, # 1, 66–78 (1986)
[Be1]E. Becker: “Hereditarily pythagorean fields and orderings of higher types”, Lectures Notes # 29, Rio de Janeiro, I.M.P.A., 1978
[Be2]E. Becker: “The real holomorphy ring and sums of 2n-th powers”, in “Geométrie Algébrique Réelle et Formes Quadratiques”, Rennes 1981, Lecture Notes Math., vol. 959, pp. 139–181, Berlin-Heidelberg-New York, Springer-Verlag, 1982
[Be3] E. Becker: “Extended Artin-Schreier theory of fields,”, Rocky Mountain Journal of Mathematics, Vol 14, # 4, (1984)
[Br]L. Bröcker: “Characterization of fans and hereditarily Pythagorean fields”, Mathematische Zeitschrift 151, 149–163 (1976)
[De1] F. Delon: “Rolle fields and rings”, Proc. first int. symposium. on ordered algebraic structures, pp. 155–160, Luminy-Marseille 1984
[De2]F. Delon: “Corps et anneaux de Rolle”, Proceedings A.M.S., vol. 97 pp. 315–319 (1986)
[Di]M. Dickmann: “The model theory of chain-closed fields,” Journal of Symbolic Logic vol. 53, pp. 73–82 (1988)
[G1]D. Gondard: “Théorie du premier ordre des corps chaînables et des corps chaîne-clos”, C. R. Acad. Sc. Paris, tome 304, # 16, 463–465 (1987)
[G2] D. Gondard: “Noyaux de chaînes et corps chaînables”, prépublication in Séminaire “Structures algébriques ordonnées” (D.D.G.) 1988–89, Université Paris VII, 1990
[G3]D. Gondard: “On Rolle fields theories ”, Abstract A.M.S., # 62, vol 10, no2, p. 178 (1989)
[G4]D. Gondard: “Chainable fields and real algebraic geometry”, in “Real Algebraic and Analytic Geometry”, Lectures Notes in Math. # 1420 Berlin-Heidelberg-New York, Springer-Verlag 1990
[G5] D. Gondard: “Sur les théories des corps de Rolle”, prépublication in Sèminaire “Structures Algébriques Ordonnées” (D.D.G.) 1988–89, Universitè Paris VII, 1990
[H] J. Harman: “Chains of higher level orderings”, in Ordered Fields and Real Algebraic Geometry, Contemporary Mathematics, vol. 8, 141–174, 1982
[J1]B. Jacob: “The model theory of pythagorean fields” Thèse (ch. 1 et 2) Princeton University, Princeton, N. J. 1979
[J2]B. Jacob: “On the structure of pythagorean fields,” J. of Algebra, Vol. 68, no2 pp. 247–267 (1981)
[L] T. Y. Lam: “Orderings, valuations and quadratic forms”, C.B.M.S. regional conference vol. 52, A.M.S. 1983
[Las]B. Laslandes: “Corps de Rolle portant un nombre fini d'ordres,” Cr. Acad. Sc. Paris, t. 102, Série I, # 11, 401–404, (1986)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gondard-Cozette, D. Axiomatisations simples des theories des corps de rolle. Manuscripta Math 69, 267–274 (1990). https://doi.org/10.1007/BF02567925
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02567925