arXiv Analytics

Sign in

arXiv:math/0104073 [math.LO]AbstractReferencesReviewsResources

Iterations of V and the core model

Ralf Schindler

Published 2001-04-06Version 1

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.

Comments: 3 pages
Categories: math.LO
Subjects: 03E45
Related articles: Most relevant | Search more
arXiv:math/0002089 [math.LO] (Published 2000-02-11, updated 2001-04-06)
The core model for almost linear iterations
arXiv:math/9210202 [math.LO] (Published 1992-10-07)
The Complexity of the Core Model
arXiv:2308.01072 [math.LO] (Published 2023-08-02)
Local Definability of $\mathsf{HOD}$ in $L(\mathbb{R})$

Links

Toolbox