English

Trees and gaps from a construction scheme

Logic 2016-08-16 v2

Abstract

We present natural constructions of trees and gaps using a quite general construction scheme. In particular, we solve a natural problem about (ω1,ω1)(\omega_1, \omega_1)-gaps. As it is well known (ω1,ω1)(\omega_1, \omega_1)-gaps can sometimes be filled in ω1\omega_1-preserving forcing extensions of the set-theoretic universe. There are two natural conditions, dubbed SS and TT below, that guarantee the existence of such forcing extensions. The condition TT is a natural strengthening of the condition SS and was motivated by the numerous analogies between (ω1,ω1)(\omega_1,\omega_1)-gaps and certain trees of height ω1.\omega_1. It turns out that the condition SS is in fact equivalent to the existence of such forcing extensions but we show that the condition TT is strictly stronger by proving that it is consistent that there are fillable (ω1,ω1)(\omega_1, \omega_1)-gaps (i.e., S-gaps) but no T-gaps.

Keywords

Cite

@article{arxiv.1602.01518,
  title  = {Trees and gaps from a construction scheme},
  author = {Fulgencio Lopez and Stevo Todorcevic},
  journal= {arXiv preprint arXiv:1602.01518},
  year   = {2016}
}

Comments

10 pages, fix errors and added new reference; to appear in Proceedings of the AMS

R2 v1 2026-06-22T12:43:14.245Z