Realizing realizability results with classical constructions

Asaf Karagila

Logic

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

2 Citations (Scopus)

16 Downloads (Pure)

1 results

Finished

High Forcing Axioms: Forcing Axioms for the Uncountable. Newton International Fellowship
Aspero, D. & Karagila, A.
Royal Society
1/03/18 → 31/03/20
Project: Fellowship