Aronszajn Free Kurepa Trees
Logic
2023-10-20 v3
Abstract
We consider a transitive relation on the power set of and show if there is a maximal element with respect to this relation then there is a Kurepa tree with no Aronszajn subtree. We also show that if there is a maximal subset of , then there are Kurepa trees which are not club isomorphic. These maximal subsets of exist in many known models that are obtained from the constructible universe without large cardinal assumptions. For instance, whenever and are such that and is a semiproper forcing extension of then is maximal in .
Keywords
Cite
@article{arxiv.2010.06814,
title = {Aronszajn Free Kurepa Trees},
author = {Hossein Lamei Ramandi and Stevo Todorcevic},
journal= {arXiv preprint arXiv:2010.06814},
year = {2023}
}