A hierarchy of cuts in models of arithmetic
Author:
- J. B. ParisJPJ. B. Paris
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 312-337
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Rapidly Growing Ramsey FunctionsAnnals of Mathematics, 1981
- Some independence results for Peano arithmeticThe Journal of Symbolic Logic, 1978
- ∑n-Collection Schemas in Arithmetic1978
- A Mathematical Incompleteness in Peano Arithmetic1977
- Initial segments of models of Peano's axiomsLecture Notes in Mathematics, 1977