Coding lemmata in L(V_+1)

DOI10.1007/S00153-003-0204-0zbMATH Open1060.03072OpenAlexW2090081819WikidataQ124881983 ScholiaQ124881983MaRDI QIDQ1879321FDOQ1879321

George Kafkoulis

Publication date: 22 September 2004

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

Full work available at URL: https://doi.org/10.1007/s00153-003-0204-0

Recommendations

• Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\)
• Coding over a measurable cardinal
• Codings and strongly inaccessible cardinals
• Coding into 𝐾 by reasonable forcing
• Strong coding

zbMATH Keywords

codingelementary embeddinginner modelelementary projectumprewellorderingstrong regularity of cardinals

Mathematics Subject Classification ID

Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cited In (6)

• BERKELEY CARDINALS AND THE STRUCTURE OF L(Vδ+1)
• Generic at
• A partially non-proper ordinal beyond \(L(V_{\lambda +1})\)
• Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)
• Certain very large cardinals are not created in small forcing extensions
• I0 and rank-into-rank axioms

This page was built for publication: Coding lemmata in \(L(V_{\lambda+1})\)

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