The definable tree property for successors of cardinals
From MaRDI portal
Publication:506976
DOI10.1007/s00153-016-0494-7zbMath1403.03096arXiv1511.04598MaRDI 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 cardinal; definable tree property; Easton reverse iteration; extender based Prikry forcing
03E35: Consistency and independence results
03E55: Large cardinals
03E50: Continuum hypothesis and Martin's axiom
03E05: Other combinatorial set theory
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