PFA(S)[S] for the masses

Franklin D. Tall

PFA(S)[S] for the masses

General Topology 2016-07-18 v1

Authors: Franklin D. Tall

Abstract

We present S. Todorcevic's method of forcing with a coherent Souslin tree over restricted iteration axioms as a black box usable by those who wish to avoid its complexities but still access its power.

Keywords

set theory forcing

Cite

@article{arxiv.1607.04370,
  title  = {PFA(S)[S] for the masses},
  author = {Franklin D. Tall},
  journal= {arXiv preprint arXiv:1607.04370},
  year   = {2016}
}