No CrossRef data available.
Article contents
The reals in core models
Published online by Cambridge University Press: 12 March 2014
Abstract
We set = ‹, ≤L, # ›, where is the set of degrees of nonconstructibility for countable sets of countable ordinals. We show how to define inductively over this structure the degrees of such sets of ordinals in Κ, the core model, and the next few core models thereafter, i.e. without reference to mice, premice or measurable cardinals
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1987