Decision procedures for real and \(p\)-adic fields. (English) Zbl 0167.01502


03Bxx General logic
Full Text: DOI


[1] Ax, Amer. J. Math. 87 pp 605– (1965)
[2] Amer. J. Math. pp 631–
[3] Amer. J. Math. 88 pp 437– (1966)
[4] Ershov, Doklady Akad. Nauk USSR 165 pp 21– (1965)
[5] Soviet Math. 6 pp 1390– (1965)
[6] Linear Partial Differential Operators, Springer Verlag, Berlin, 1963. · Zbl 0108.09301 · doi:10.1007/978-3-642-46175-0
[7] Lang, Ann. of Math. 55 pp 373– (1952)
[8] Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt, Comptes-rendus du I Congrés des Mathématiciens des Pays Slaves, Warsaw, 1929, pp. 92–101, 395.
[9] Introduction to Model Theory and to the Metamathematics of Algebra, North-Holland Publ. Co., Amsterdam, 1963. · Zbl 0118.25302
[10] Seidenberg, Ann. of Math., Ser. 2 60 pp 365– (1954)
[11] A Decision Method for Elementary Algebra and Geometry, 2nd edit., revised, Berkeley and Los Angeles, 1951.
[12] Modern Algebra, F. Ungar, New York, 1953.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.