On the derived models of self-iterable universes

DOI10.1090/proc/15741OpenAlexW3214444819MaRDI QIDQ5027176

Grigor Sargsyan, Takehiko Gappo

Publication date: 4 February 2022

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.06455

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Square principles in \(\mathbb{P}_{\max}\) extensions
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Hod mice and the Mouse Set Conjecture
• Two Consequences of Determinacy Consistent with Choice
• Inner Models and Ultrafilters In L(ℝ)
• Iteration Trees
• The extender algebra and Σ21-absoluteness
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability

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