Thin equivalence relations and inner models

DOI10.1016/j.apal.2014.05.002zbMath1354.03066OpenAlexW1997136632MaRDI QIDQ2250452

Philipp Schlicht

Publication date: 7 July 2014

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

Full work available at URL: https://doi.org/10.1016/j.apal.2014.05.002

zbMATH Keywords

inner modelsprojective ordinalsprojective equivalence relationsthin equivalence relations

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Related Items (7)

Lebesgue's density theorem and definable selectors for ideals ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Can we classify complete metric spaces up to isometry? ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A criterion for coarse iterability
• The strength of choiceless patterns of singular and weakly compact cardinals
• Descriptive set theory
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Projective forcing
• Projectively well-ordered inner models
• Large cardinals and definable counterexamples to the continuum hypothesis
• On co-\(\kappa\)-Souslin relations
• Proper forcing and L(ℝ)
• Fine Structure
• An Outline of Inner Model Theory
• A Core Model Toolbox and Guide
• Determinacy in L(ℝ)
• Large Cardinals from Determinacy
• Two Consequences of Determinacy Consistent with Choice
• The self-iterability of L[E]
• Glimm-Effros for coanalytic equivalence relations
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• On the Relative Consistency Strength of Determinacy Hypothesis
• A Proof of Projective Determinacy
• Long projective wellorderings
• Analytic determinacy and 0^#
• A computation of 𝛿¹₅
• Iteration Trees
• Thin equivalence relations and effective decompositions
• Some applications of coarse inner model theory
• Core models with more Woodin cardinals
• Set Theory
• Optimal Proofs of Determinacy
• A dichotomy for the definable universe
• Analytic equivalence relations and Ulm-type classifications
• Complete analytic equivalence relations
• Measurable cardinals and analytic games
• Inner models and large cardinals

This page was built for publication: Thin equivalence relations and inner models