Reinhardt cardinals and iterates of \(V\)

DOI10.1016/j.apal.2021.103056OpenAlexW3208026247MaRDI QIDQ2067637

Farmer Schlutzenberg

Publication date: 18 January 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcingdefinabilityaxiom of choiceiterateHODReinhardt cardinal

Mathematics Subject Classification ID

Large cardinals (03E55) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

The definability of \(\mathbb{E}\) in self-iterable mice

Cites Work

• Unnamed Item
• Unnamed Item
• Generalizations of the Kunen inconsistency
• A long pseudo-comparison of premice in \(L[x\)]
• Virtual large cardinals
• A premouse inheriting strong cardinals from \(V\)
• The generalized Kurepa hypothesis at singular cardinals
• Certain very large cardinals are not created in small forcing extensions
• INNER MODEL THEORETIC GEOLOGY
• Elementary embeddings and infinitary combinatorics
• VARSOVIAN MODELS I
• Set Theory
• No elementary embedding from v into v is definable from parameters
• On ground model definability
• LARGE CARDINALS BEYOND CHOICE
• $G_\delta $-topology and compact cardinals

This page was built for publication: Reinhardt cardinals and iterates of \(V\)