Gregory Trees, The Continuum, And Martin's Axiom
Logic
2008-06-12 v1
Abstract
We continue the investigation of Gregory trees and the Cantor Tree Property carried out by Hart and Kunen. We produce models of MA with the Continuum arbitrarily large in which there are Gregory trees, and in which there are no Gregory trees.
Cite
@article{arxiv.0806.1759,
title = {Gregory Trees, The Continuum, And Martin's Axiom},
author = {Kenneth Kunen and Dilip Raghavan},
journal= {arXiv preprint arXiv:0806.1759},
year = {2008}
}