A premouse inheriting strong cardinals from \(V\)

DOI10.1016/j.apal.2020.102826zbMath1485.03218arXiv1506.04116OpenAlexW3024144524MaRDI QIDQ2195634

Farmer Schlutzenberg

Publication date: 27 August 2020

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

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

zbMATH Keywords

inner modelcondensationstrong cardinalbicephalusnormal iterability

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Other notions of set-theoretic definability (03E47)

Related Items (2)

Iterability for (transfinite) stacks ⋮ Reinhardt cardinals and iterates of \(V\)

Cites Work

• Unnamed Item
• An Outline of Inner Model Theory
• SUITABLE EXTENDER MODELS I
• Stacking mice
• The maximality of the core model
• Core models with more Woodin cardinals
• Fine structure for tame inner models
• Homogeneously Suslin sets in tame mice
• DETERMINACY AND JÓNSSON CARDINALS INL(ℝ)
• Local K^c constructions
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• Inner models and large cardinals

This page was built for publication: A premouse inheriting strong cardinals from \(V\)