Gregory trees, the continuum, and Martin's axiom

DOI10.2178/jsl/1243948337zbMath1165.03037arXiv0806.1759OpenAlexW2017110859WikidataQ114005167 ScholiaQ114005167MaRDI QIDQ3630589

Kenneth Kunen, Dilip Raghavan

Publication date: 4 June 2009

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Martin's axiomproper forcingGregory tree

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Related Items

Kunen and set theory

Cites Work

• Parametrized $\diamondsuit $ principles