×

zbMATH — the first resource for mathematics

On n-quantifier induction. (English) Zbl 0264.02027

MSC:
03F99 Proof theory and constructive mathematics
03D55 Hierarchies of computability and definability
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Introduction to metamathematics (1952)
[2] Fundamenta Mathematicae 39 pp 103– (1952)
[3] Intuitionism and proof theory pp 419– (1970)
[4] DOI: 10.1007/BF01974150 · Zbl 0215.32304 · doi:10.1007/BF01974150
[5] On a number-theoretic choice schema. II 36 pp 587– (1971)
[6] Proof-theoretic analysis of restricted induction schemata 36 pp 361– (1971)
[7] Logic, methodology, and philosophy of science. III pp 185– (1968)
[8] Intensional interpretations of functionals of finite type. I 32 pp 197– (1967) · Zbl 0174.01202
[9] DOI: 10.1007/BF01342980 · Zbl 0111.01001 · doi:10.1007/BF01342980
[10] DOI: 10.1090/pspum/005/0154801 · doi:10.1090/pspum/005/0154801
[11] Constructivity in mathematics pp 290– (1959)
[12] Intuitionism and proof theory pp 459– (1970)
[13] A survey of proof theory 33 pp 321– (1968)
[14] Inessential extensions of Heyting’s arithmetic by means of functionals of finite type 24 pp 284– (1959)
[15] Constructivity in mathematics pp 101– (1959)
[16] Compositio Mathematica 20 pp 107– (1968)
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.