Coding lemmata in \(L(V_{\lambda+1})\)
From MaRDI portal
Publication:1879321
DOI10.1007/s00153-003-0204-0zbMath1060.03072WikidataQ124881983 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 model; coding; elementary embedding; elementary projectum; prewellordering; strong regularity of cardinals
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
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})\), I0 and rank-into-rank axioms, Certain very large cardinals are not created in small forcing extensions