\(\omega_ 1\)-constructible universe and measurable cardinals

DOI10.1016/0168-0072(86)90024-2zbMath0593.03029OpenAlexW1967278813MaRDI QIDQ1076012

Claude Sureson

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90024-2

zbMATH Keywords

inner modelcovering propertyindiscernibles

Mathematics Subject Classification ID

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

Related Items (3)

The model \(N=\cup \{L[A:\) A countable set of ordinals\(\}\)] ⋮ Chang's model and covering properties ⋮ Inner models from extended logics: Part 1

Cites Work

• Non-closure of the image model and absence of fixed points
• Aspects of constructibility
• The core model for sequences of measures. I
• Some applications of model theory in set theory
• Some applications of iterated ultrapowers in set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\omega_ 1\)-constructible universe and measurable cardinals