Inner Models and Ultrafilters In L(ℝ)

DOI10.2178/BSL/1174668217zbMATH Open1131.03024OpenAlexW2118800657MaRDI QIDQ3594483FDOQ3594483

Authors Itay Neeman

Publication date 8 August 2007

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/bsl/1174668217

zbMATH Keywords

ultrafilterinner modelsupercompactness measure

Mathematics Subject Classification ID

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

Recommendations

• The weak ultrafilter axiom
• Iterated extended ultrapowers and supercompactness without choice
• A small ultrafilter number at smaller cardinals
• Selective ultrafilters and 𝜔→(𝜔)^{𝜔}
• An inner model theoretic proof of Becker's theorem

Cites work

• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• AD and the supercompactness of ℵ₁
• Inner models with many Woodin cardinals
• On the determinacy of games on ordinals
• Proper forcing and \(L(\mathbb{R})\)
• Sets constructed from sequences of measures: Revisited
• The core model
• The domestic levels of \(K^c\) are iterable

Cited in

(14)

• Definable combinatorics at the first uncountable cardinal
• On supercompactness of \(\omega_1\)
• Complexity of reals in inner models of set theory
• Regularity of ultrafilters and the core model
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• CLASSES OF BARREN EXTENSIONS
• Complexity of κ-ultrafilters and inner models with measurable cardinals
• An inner model theoretic proof of Becker's theorem
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• A brief account of recent developments in inner model theory
• scientific article; zbMATH DE number 5519176 (Why is no real title available?)
• scientific article; zbMATH DE number 1420860 (Why is no real title available?)
• On the derived models of self-iterable universes
• Derived models and supercompact measures on \(\wp_{\omega_1}(\wp(\mathbb{R}))\)

This page was built for publication: Inner Models and Ultrafilters In L(ℝ)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3594483)