References
Becker, E., Köpping, E.: Reduzierte quadratische Formen und Semiordnungen reeller Körper. Abh. Math. Seminar Univ. Hamburg46, 143–177 (1977)
Cherlin, G.: Model theoretic algebra; selected topics. Lecture Notes in Mathematics. Vol. 521. Berlin, Heidelberg, New York: Springer 1976
Dries, L. van den: Model theory of fields, decidability, and bounds for polynomial ideals. Thesis, Utrecht, 1978
Elman, R., Lam, T.Y., Wadsworth, A.: Orderings under field extensions. J. reine angew. Math.306, 7–27 (1979)
Lam, T.Y.: The theory of ordered fields. Lecture Notes in Pure and Appl. Math. Vol. 55, pp. 1–152. New York: Dekker 1980
Prestel, A.: Lectures on formally real fields. Monografias de Matematica 22, IMPA, Rio de Janeiro, 1975
Prestel, A.: Pseudo real closed fields. In: Set theory and model theory, pp. 127–156. Lecture Notes in Mathematics, Vol. 872, Berlin, Heidelberg, New York: Springer 1981
Robinson, A.: Introduction to model theory and to the metamathematics of algebra. Amsterdam: North Holland 1963
Roquette, P.: Nonstandard aspects of Hilbert's irreducibility theorem. In: Model theory and algebra, pp. 231–275. Lecture Notes in Mathematics, Vol. 498. Berlin, Heidelberg, New York: Springer 1975
Tarski, A.: A decision method for elementary algebra and geometry. Berkeley: University Press 1951
Waerden, B. van der: Moderne Algebra. I. Berlin: Springer 1930
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Prestel, A. Decidable theories of preordered fields. Math. Ann. 258, 481–492 (1982). https://doi.org/10.1007/BF01453981
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01453981