Iterations of V and the core model
classification
🧮 math.LO
keywords
coremodelansweringaroundclosediterateiterationsomega-sequences
read the original abstract
Answering a question which was around for some while we prove that if \pi : V -> M is such that M is transitive and closed under \omega-sequences then the core model of M is an iterate of the core model of V.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.