4 results
Sequential and distributive forcings without choice
- Part of
-
- Journal:
- Canadian Mathematical Bulletin / Volume 66 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 29 December 2022, pp. 868-880
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 02 July 2020, pp. 225-249
- Print publication:
- March 2021
-
- Article
- Export citation
REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 19 December 2019, pp. 429-445
- Print publication:
- December 2019
-
- Article
- Export citation
ITERATING SYMMETRIC EXTENSIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 123-159
- Print publication:
- March 2019
-
- Article
- Export citation