Supercomplete extenders and type 1 mice. I
From MaRDI portal
Publication:1877090
DOI10.1016/j.apal.2003.12.002zbMath1059.03053MaRDI QIDQ1877090
Publication date: 16 August 2004
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2003.12.002
Core models; Extenders; Inner model; Iteration trees; Large cardinals; Mice; Premice; Supercompleteness
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
Cites Work