Iterated Forcing with Side Conditions and High Forcing Axioms (DL open)

Aspero, David (Principal Investigator)

Status	Finished
Effective start/end date	8/08/16 → 7/08/19

Funding

Engineering and Physical Sciences Research Council: £276,903.20

Martin's Maximum⁺⁺ implies Woodin's axiom (*)
Aspero, D. & Schindler, R., May 2021, In: Annals of Mathematics. 193, 3, p. 793-835 43 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

15 Citations (Scopus)

32 Downloads (Pure)
Dependent choice, properness, and generic absoluteness
Aspero, D. & Karagila, A., Jul 2020, In: The Review of Symbolic Logic. 14, 1, p. 225–249 25 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

5 Citations (Scopus)

151 Downloads (Pure)
Long reals
Asperó, D. & Tsaprounis, K., 1 Oct 2018, In: Journal of Logic and Analysis. 10, 1, p. 1-36 36 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

4 Citations (Scopus)

34 Downloads (Pure)