3 results
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 09 March 2023, pp. 406-452
- Print publication:
- September 2023
-
- Article
-
- You have access
- HTML
- Export citation
MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 26 February 2019, pp. 870-876
- Print publication:
- June 2019
-
- Article
- Export citation
INTUITIONISTIC ANALYSIS AT THE END OF TIME
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. 279-295
- Print publication:
- September 2017
-
- Article
- Export citation