Coding lemmata in \(L(V_{\lambda+1})\)
From MaRDI portal
Publication:1879321
DOI10.1007/S00153-003-0204-0zbMath1060.03072OpenAlexW2090081819WikidataQ124881983 ScholiaQ124881983MaRDI QIDQ1879321
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
inner modelcodingelementary embeddingelementary projectumprewellorderingstrong regularity of cardinals
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Related Items (6)
Generic at ⋮ Totally non-proper ordinals beyond \(L(V_{\lambda +1})\) ⋮ A partially non-proper ordinal beyond \(L(V_{\lambda +1})\) ⋮ Certain very large cardinals are not created in small forcing extensions ⋮ BERKELEY CARDINALS AND THE STRUCTURE OF L(Vδ+1) ⋮ I0 and rank-into-rank axioms
This page was built for publication: Coding lemmata in \(L(V_{\lambda+1})\)
