English

An almost Kurepa Suslin tree with strongly non-saturated square

Logic 2025-09-09 v3

Abstract

For uncountable downwards closed subtrees UU and WW of an ω1\omega_1-tree TT, we say that UU and WW are strongly almost disjoint if their intersection is a finite union of countable chains. The tree TT is strongly non-saturated if there exists a strongly almost disjoint family of ω2\omega_2-many uncountable downwards closed subtrees of TT. In this article we construct a Knaster forcing which adds a Suslin tree together with a family of ω2\omega_2-many strongly almost disjoint automorphisms of it (and thus the square of the Suslin tree is strongly non-saturated). To achieve this goal, we introduce a new idea called ρ\rho-separation, which is an adaptation to the finite context of the notion of separation which was recently introduced by Stejskalov\'{a} and the first author for the purpose of adding automorphisms of a tree with a forcing with countable conditions.

Keywords

Cite

@article{arxiv.2406.10463,
  title  = {An almost Kurepa Suslin tree with strongly non-saturated square},
  author = {John Krueger and Eduardo Martinez Mendoza},
  journal= {arXiv preprint arXiv:2406.10463},
  year   = {2025}
}

Comments

To appear in Advances in Mathematics