×

zbMATH — the first resource for mathematics

Existence and feasibility in arithmetic. (English) Zbl 0243.02037

MSC:
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D20 Recursive functions and relations, subrecursive hierarchies
03D99 Computability and recursion theory
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Die Grundlagen der Mathematik 1 (1936) · Zbl 0014.13902
[2] Philosophy of mathematics pp 157– (1964)
[3] Undecidable (1965)
[4] Fundamenta Mathematicae 43 pp 50– (1956)
[5] Proceedings of the conference at Buffato 1968 (1970)
[6] Philosophy of mathematics (1964) · Zbl 0144.24217
[7] Philosophy of mathematics pp 274– (1964)
[8] Logical calculus pp 1935–
[9] Rozprawy Matematyczne IV pp 3– (1953)
[10] A survey of mathematical logic (1963)
[11] this Journal 30 pp 175– (1965)
[12] Nonstandard models for fragments of number theory (1965)
[13] DOI: 10.1090/S0002-9947-1963-0158822-2 · doi:10.1090/S0002-9947-1963-0158822-2
[14] The foundations of science (1913)
[15] Applications of model theory (1969)
[16] this Journal 20 pp 115– (1955)
[17] DOI: 10.1016/S0019-9958(64)90120-2 · Zbl 0199.04002 · doi:10.1016/S0019-9958(64)90120-2
[18] Applications of model theory (1969)
[19] Philosophy of mathematics pp 134– (1964)
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.