The definable tree property for successors of cardinals
From MaRDI portal
Publication:506976
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
Aronszajn tree\(\varPi ^{1}_1\)-reflecting cardinaldefinable tree propertyEaston reverse iterationextender based Prikry forcing
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 ℵ1
- Set Theory
- The tree property at ℵω+1
- Multiple Forcing