×

zbMATH — the first resource for mathematics

The optimality of induction as an axiomatization of arithmetic. (English) Zbl 0515.03018

MSC:
03C62 Models of arithmetic and set theory
03B10 Classical first-order logic
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Handbook of Mathematic Logic pp 821– (1977)
[2] On n-quantifier induction 37 pp 466– (1972) · Zbl 0264.02027
[3] On a number theoretic choice schema II 36 pp 578– (1971)
[4] Introduction to metamathematics (1952)
[5] Fundamenta Mathematicae 42 pp 101– (1955)
[6] Lectures on Modern Mathematics, Vol. III pp 95– (1965) · Zbl 0127.24102
[7] Intuitionism and Proof Theory pp 459– (1970)
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.