5 results
THE ORDER OF REFLECTION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 08 January 2021, pp. 1555-1583
- Print publication:
- December 2021
-
- Article
- Export citation
SHORTENING CLOPEN GAMES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 08 January 2021, pp. 1541-1554
- Print publication:
- December 2021
-
- Article
- Export citation
THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 18 November 2019, pp. 338-366
- Print publication:
- March 2020
-
- Article
- Export citation
UNSOUND INFERENCES MAKE PROOFS SHORTER
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 102-122
- Print publication:
- March 2019
-
- Article
- Export citation
STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 608-628
- Print publication:
- June 2017
-
- Article
- Export citation