Core models in the presence of Woodin cardinals

Simple item page
dc.creatorSchindler, Ralf
dc.date2003-03-07
dc.date.accessioned2026-07-07T04:55:51Z
dc.date.available2026-07-07T04:55:51Z
dc.descriptionIt is shown that if there is a measurable cardinal above n Woodin cardinals and M_{n+1}^# doesn't exist then K exists. K is not fully iterable, though, but only iterable with respect to stacks of certain trees living between the Woodin cardinals. However, it is still true that if M is an omega-closed iterate of V then K^M is an iterate of K.
dc.description6 pages
dc.identifierhttps://arxiv.org/abs/math/0303089
dc.identifierhttp://arxiv.org/abs/math/0303089
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/66724
dc.subjectLogic
dc.subject03E35; 03E45
dc.titleCore models in the presence of Woodin cardinals
dc.typetext

Files

Collections

arXiv