Article contents
Models of arithmetic and upper bounds for arithmetic sets
Published online by Cambridge University Press: 12 March 2014
Abstract
We settle a question in the literature about degrees of models of true arithmetic and upper bounds for the arithmetic sets. We prove that there is a model of true arithmetic whose degree is not a uniform upper bound for the arithmetic sets. The proof involves two forcing constructions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1994
References
REFERENCES
- 5
- Cited by