Preserving levels of projective determinacy by tree forcings

DOI10.1016/j.apal.2020.102918zbMath1506.03101arXiv1810.12079OpenAlexW3081043040MaRDI QIDQ2659097

Fabiana Castiblanco, Philipp Schlicht

Publication date: 25 March 2021

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

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

zbMATH Keywords

projective determinacytree forcingsharpsmouse operatorthin relationsuniform indiscernibles

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60) Generic absoluteness and forcing axioms (03E57)

Related Items (2)

Uniformization and internal absoluteness ⋮ When is a real generic over L?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals
• Forcing absoluteness and regularity properties
• A criterion for coarse iterability
• The strength of choiceless patterns of singular and weakly compact cardinals
• On the consistency of Borel's conjecture
• A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\)
• Measurable cardinals and the continuum hypothesis
• Proper forcing extensions and Solovay models
• Large cardinals and definable counterexamples to the continuum hypothesis
• Thin equivalence relations and inner models
• Set theory. Exploring independence and truth
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• Iterated Forcing and Elementary Embeddings
• An Outline of Inner Model Theory
• Large Cardinals from Determinacy
• Combinatorial Set Theory
• Combinatorics on ideals and forcing
• Happy families
• Analytic determinacy and 0^#
• Thin equivalence relations and effective decompositions
• Small forcing creates neither strong nor Woodin cardinals
• Set Theory
• Optimal Proofs of Determinacy
• The Size of the Ordinal u ₂
• Measurable cardinals and analytic games

This page was built for publication: Preserving levels of projective determinacy by tree forcings