English

A Large Pairwise Far Family of Aronszajn Trees

Logic 2022-11-29 v5

Abstract

We construct a large family of normal κ\kappa-complete Rκ\mathbb{R}_\kappa-embeddable non-special κ+\kappa^+-Aronszajn trees which have no club isomorphic subtrees using an instance of the proxy principle of Brodsky-Rinot.

Keywords

Cite

@article{arxiv.2101.01814,
  title  = {A Large Pairwise Far Family of Aronszajn Trees},
  author = {John Krueger},
  journal= {arXiv preprint arXiv:2101.01814},
  year   = {2022}
}