Local Kc constructions

DOI10.2178/jsl/1191333838zbMath1127.03040OpenAlexW2000550033MaRDI QIDQ5422300

J. R. Steel

Publication date: 17 October 2007

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1191333838

zbMATH Keywords

extenderstrong cardinalWoodin cardinal

Mathematics Subject Classification ID

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

Related Items (5)

A premouse inheriting strong cardinals from \(V\) ⋮ DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE ⋮ Equiconsistencies at subcompact cardinals ⋮ Boolean-valued second-order logic ⋮ SEALING OF THE UNIVERSALLY BAIRE SETS

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Local K^c constructions