2 results
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 February 2023, pp. 1-59
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Arithmetic 𝒟-modules on the unit disk. With an appendix by Shigeki Matsuda
- Part of
-
- Journal:
- Compositio Mathematica / Volume 148 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 09 November 2011, pp. 227-268
- Print publication:
- January 2012
-
- Article
-
- You have access
- Export citation