Inner Models and Ultrafilters In L(ℝ)

DOI10.2178/bsl/1174668217zbMath1131.03024OpenAlexW2118800657MaRDI QIDQ3594483

Itay Neeman

Publication date: 8 August 2007

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

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

zbMATH Keywords

inner modelultrafiltersupercompactness measure

Mathematics Subject Classification ID

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

Related Items (5)

A brief account of recent developments in inner model theory ⋮ An inner model theoretic proof of Becker's theorem ⋮ Definable combinatorics at the first uncountable cardinal ⋮ On supercompactness of \(\omega_1\) ⋮ On the derived models of self-iterable universes

Cites Work

• Unnamed Item
• Inner models with many Woodin cardinals
• Proper forcing and L(ℝ)
• Sets constructed from sequences of measures: Revisited
• The core model
• On the determinacy of games on ordinals
• AD and the supercompactness of ℵ₁
• The domestic levels of \(K^c\) are iterable

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