Martin's Maximum⁺⁺ implies Woodin's axiom (*)

David Aspero, Ralf Schindler

Logic

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

21 Downloads (Pure)

1 results

Finished

Iterated Forcing with Side Conditions and High Forcing Axioms (DL open)
Aspero, D.
Engineering and Physical Sciences Research Council
8/08/16 → 7/08/19
Project: Research