A hierarchy of cuts in models of arithmetic
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 312-337
- https://doi.org/10.1007/bfb0090171
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- ∑n-Collection Schemas in ArithmeticPublished by Elsevier ,1978
- A Mathematical Incompleteness in Peano ArithmeticPublished by Elsevier ,1977
- Initial segments of models of Peano's axiomsLecture Notes in Mathematics, 1977