The iterability hierarchy above \(\mathsf {I3}\)

DOI10.1007/S00153-018-0624-5OpenAlexW3125164546MaRDI QIDQ1712930

Vincenzo Dimonte, Alessandro Andretta

Publication date: 24 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalselementary embeddingslinear iterationsrank-into-rank embeddings

Mathematics Subject Classification ID

Large cardinals (03E55)

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• A partially non-proper ordinal beyond \(L(V_{\lambda +1})\)
• Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)
• Implications between strong large cardinal axioms
• On the algebra of elementary embeddings of a rank into itself
• I0 and rank-into-rank axioms
• SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
• Set Theory
• No elementary embedding from v into v is definable from parameters

This page was built for publication: The iterability hierarchy above \(\mathsf {I3}\)