The definable tree property for successors of cardinals

DOI10.1007/S00153-016-0494-7zbMath1403.03096arXiv1511.04598OpenAlexW2257297416MaRDI QIDQ506976

Ali Sadegh Daghighi, Massoud Pourmahdian

Publication date: 2 February 2017

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

Aronszajn tree\(\varPi ^{1}_1\)-reflecting cardinaldefinable tree propertyEaston reverse iterationextender based Prikry forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05)

Cites Work

• Supercompact extender based Prikry forcing
• Homogeneous iteration and measure one covering relative to HOD
• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• The tree property at successors of singular cardinals
• The tree property
• Iterated Forcing and Elementary Embeddings
• The self-iterability of L[E]
• ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
• The consistency strength of successive cardinals with the tree property
• On the consistency of the Definable Tree Property on ℵ₁
• Set Theory
• The tree property at ℵ_ω+1
• Multiple Forcing

This page was built for publication: The definable tree property for successors of cardinals