Iterations of V and the core model

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Answering a question which was around for some while we prove that if π: V -> M is such that M is transitive and closed under ω-sequences then the core model of M is an iterate of the core model of V.
3 pages

Keywords

Logic, 03E45

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/61250

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0104073
 http://arxiv.org/abs/math/0104073

Collections

arXiv