Definable tree property for uncountable regular cardinals
Logic
2023-10-10 v3
Abstract
The primary goal of this paper is to establish a model of wherein the definable tree property is affirmed for all uncountable regular cardinals. This endeavor commences with the utilization of both a supercompact cardinal and a measurable cardinal that exceeds it. Subsequently, we construct a model. Within this model, we demonstrate that the definable tree property holds for all uncountable regular cardinals. Thereby we respond to an inquiry raised in [1].
Cite
@article{arxiv.1608.06727,
title = {Definable tree property for uncountable regular cardinals},
author = {Mohammad Golshani and Mostafa Mirabi},
journal= {arXiv preprint arXiv:1608.06727},
year = {2023}
}