Fragments of arithmetic
- 31 January 1985
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 28 (1) , 33-71
- https://doi.org/10.1016/0168-0072(85)90030-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The optimality of induction as an axiomatization of arithmeticThe Journal of Symbolic Logic, 1983
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysisThe Journal of Symbolic Logic, 1983
- Note on the fan theoremThe Journal of Symbolic Logic, 1974
- On n-quantifier inductionThe Journal of Symbolic Logic, 1972
- Grundlagen der Mathematik IIPublished by Springer Nature ,1970
- A survey of proof theoryThe Journal of Symbolic Logic, 1968
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964