English

More notions of forcing add a Souslin tree

Logic 2019-09-18 v1

Abstract

An 1\aleph_1-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing such a tree, Shelah proved that already the simplest forcing notion --- Cohen forcing --- adds an 1\aleph_1-Souslin tree. In this paper, we identify a rather large class of notions of forcing that, assuming a GCH-type assumption, add a λ+\lambda^+-Souslin tree. This class includes Prikry, Magidor and Radin forcing.

Keywords

Cite

@article{arxiv.1607.07033,
  title  = {More notions of forcing add a Souslin tree},
  author = {Ari Meir Brodsky and Assaf Rinot},
  journal= {arXiv preprint arXiv:1607.07033},
  year   = {2019}
}

Comments

15 pages. Submitted