# zbMATH — the first resource for mathematics

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

##### MSC:
 03Bxx General logic
##### Keywords:
recursion theory, constructive mathematics
Full Text:
##### References:
 [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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.