4 citations · 9 across the 22 of their papers we have counts for
4 papers · 1 filter
Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH
Corey Bacal Switzer
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I cons…
Destructibility and Axiomatizability of Kaufmann Models
Corey Bacal Switzer
A Kaufmann model is an -like, recursively saturated, rather classless model of or . Such models were constructed by Kaufmann under the combinatorial…
Iteration theorems for subversions of forcing classes
Gunter Fuchs, Corey Bacal Switzer
We prove various iteration theorems for forcing classes related to subproper and subcomplete forcing, introduced by Jensen. In the first part, we use revised countable support iter…
Specializing Wide Aronszajn Trees without Adding Reals
Corey Bacal Switzer
We show that under certain circumstances wide Aronszajn trees can be specialized iteratively without adding reals. We then use this fact to study forcing axioms compatible with CH…