2016/07/15 by Franklin D. Tall, Tall, Franklin D.
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.1607.04370
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.