| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5777690 | Topology and its Applications | 2017 | 9 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
![PFA(S)[S] for the masses](/preview/png/5777690.png "First Page Preview: PFA(S)[S] for the masses")
Authors
Franklin D. Tall,