References
E. Artin: Über die Zerlegung definiter Funktionen in Quadrate. Abh. math. Sem. Hamburg. Univ.5, 100–115 (1927).
E. Artin andO. Schreier: Algebraische Konstruktion reeller Körper. Abh. math. Sem. Hamburg. Univ.5, 85–99 (1927).
L. Henkin: A generalization of the concept of ε-consistency. J. Symb. Log.19, 183 to 196 (1954).
D. Hilbert: Mathematische Probleme, International Congress of Mathematicians. Paris 1900. Arch. f. Math. 3rd. ser.1, 44–63, 213–237 (1901); reprinted in Ges. Abh.3, 290–329 (1935).
A. Robinson: Ordered Structures and related concepts. Symposium on the mathematical interpretation of formal systems. Amsterdam 1954 (to be published).
A. Tarski andJ. C. C. McKinsey: A decision method for elementary Algebra and Geometry (1st ed. 1948) 2nd ed., Berkeley and Los Angeles 1951.
B. L. van der Waerden: Moderne Algebra, vol. 1, 2nd ed. Berlin 1937.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Robinson, A. On ordered fields and definite functions. Math. Ann. 130, 257–271 (1955). https://doi.org/10.1007/BF01343896
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01343896