Proper forcing and L(ℝ)

DOI10.2307/2695045zbMath0988.03079arXivmath/0003027OpenAlexW2575442299MaRDI QIDQ2747719

Itay Neeman, Jindřich Zapletal

Publication date: 14 July 2002

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

Full work available at URL: https://arxiv.org/abs/math/0003027

zbMATH Keywords

consistency strengthlarge cardinalssmall forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (11)

HAPPY AND MAD FAMILIES INL(ℝ) ⋮ Incompatible bounded category forcing axioms ⋮ Choiceless Ramsey theory of linear orders ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ Thin equivalence relations and inner models ⋮ Inner Models and Ultrafilters In L(ℝ) ⋮ Generalizations of the Kunen inconsistency ⋮ Perfect-set properties in \(L(\mathbb{R})[U\)] ⋮ Supercompactness can be equiconsistent with measurability ⋮ When a relation with all Borel sections will be Borel somewhere? ⋮ Coding into 𝐾 by reasonable forcing

Cites Work

• Inner models with many Woodin cardinals
• Large cardinals and definable counterexamples to the continuum hypothesis

This page was built for publication: Proper forcing and L(ℝ)