2 results
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 23 February 2023, pp. 163-174
- Print publication:
- March 2024
-
- Article
-
- You have access
- HTML
- Export citation
NORMAL MEASURES ON A TALL CARDINAL
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 13 February 2019, pp. 178-204
- Print publication:
- March 2019
-
- Article
- Export citation