On the derived models of self iterable universes

DOI10.1090/PROC/15741MaRDI QIDQ6382831arXivFDO

Authors Takehiko Gappo, Grigor Sargsyan

Publication date 11 November 2021

Published in arXiv

Full work available at URL https://doi.org/10.1090/PROC/15741

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Determinacy principles (03E60)

arXiv classification

math.LO

Abstract: We show that if the universe is self-iterable and $kappa$ is an inaccessible limit of Woodin cardinal then $$ is regular" holds in the derived model at $kappa$. The proof is fine-structure free, and only assumes basic knowledge of iteration trees and iteration strategies. Our proof can be viewed as the fine-structure free version of the well-known fact that $$ is regular" is true in the derived models of hod mice that have inaccessible limit of Woodin cardinals (see for example [6]). However, the proof uses a different set of ideas and is more general.

This page was built for publication: On the derived models of self iterable universes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6382831)