×

zbMATH — the first resource for mathematics

Experimental logics and \(\Pi^0_3\) theories. (English) Zbl 0428.03043

MSC:
03D99 Computability and recursion theory
03F99 Proof theory and constructive mathematics
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Journal of Philosophical Logic 4 pp 253– (1975) · Zbl 0319.02024
[2] Limiting recursion 30 pp 28– (1965)
[3] Archiv für mathematische Logik 6 pp 52– (1972)
[4] Fundamenta Mathematicae 49 pp 35– (1960)
[5] Annali di Matematica Pura ed Applicant 48 pp 119– (1974)
[6] Essays on the Foundations of Mathematics pp 287– (1961)
[7] Trial and error predicates and the solution of a problem of Mostowski 30 pp 49– (1965)
[8] Fundamenta Mathematicae 42 pp 259– (1957)
[9] Theory of recursive functions and effective computability (1967) · Zbl 0183.01401
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.