2 results
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 12 September 2022, pp. 206-243
- Print publication:
- March 2024
-
- Article
- Export citation
AXIOMATIZATION OF PROVABLE n-PROVABILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 08 February 2019, pp. 849-869
- Print publication:
- June 2019
-
- Article
- Export citation