Accepted manuscripts
Article
VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES
-
- Published online by Cambridge University Press:
- 26 February 2024, pp. 1-70
-
- Article
-
- You have access
- Export citation
Research Article
THE UNIVERSAL THEORY OF THE HYPERFINITE II1 FACTOR IS NOT COMPUTABLE
-
- Published online by Cambridge University Press:
- 16 February 2024, pp. 1-18
-
- Article
-
- You have access
- Export citation
Article
CATEGORICAL QUANTIFICATION
-
- Published online by Cambridge University Press:
- 24 January 2024, pp. 1-27
-
- Article
-
- You have access
- Export citation
Research Article
POINCARÉ-WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma_0$
-
- Published online by Cambridge University Press:
- 19 January 2024, pp. 1-42
-
- Article
-
- You have access
- Export citation
Article
A WALK WITH GOODSTEIN
-
- Published online by Cambridge University Press:
- 17 January 2024, pp. 1-19
-
- Article
-
- You have access
- Export citation
Research Article
On the existence of strong proof complexity generators
-
- Published online by Cambridge University Press:
- 22 November 2023, pp. 1-22
-
- Article
-
- You have access
- Export citation