We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with str...
We consider mainly the following version of set theory: “ZF + DC and for every λ, λℵ0 is well ordered”, our thesis is that this is a reasonable set theory, e.g. on the one ...
We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardin...
In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimensional topology, namely the existenc...