Extenders, embedding normal forms, and the Martin-Steel-theorem
From MaRDI portal
Publication:4227884
DOI10.2307/2586731zbMath0915.03043OpenAlexW2154522916MaRDI QIDQ4227884
Publication date: 27 June 1999
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586731
extenderWoodin cardinalprojective determinacyembedding normal formcoding large elementary embeddings of models of set theoryMartin-Steel theorem
Descriptive set theory (03E15) Large cardinals (03E55) Models of arithmetic and set theory (03C62) Determinacy principles (03E60)
Related Items (1)
Cites Work
This page was built for publication: Extenders, embedding normal forms, and the Martin-Steel-theorem