published by Franklin Tall
in 2016
and research's language is
English
Download
Abstract in English
We present S. Todorcevics 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.