Cohen, Paul Joseph Decision procedures for real and \(p\)-adic fields. (English) Zbl 0167.01502 Commun. Pure Appl. Math. 22, 131-151 (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 73 Documents MSC: 03Bxx General logic Keywords:recursion theory, constructive mathematics PDF BibTeX XML Cite \textit{P. J. Cohen}, Commun. Pure Appl. Math. 22, 131--151 (1969; Zbl 0167.01502) Full Text: DOI OpenURL 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 [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.