Show
Sort by
-
- Journal Article
- A1
- open access
REFLECTION RANKS AND ORDINAL ANALYSIS
-
- Journal Article
- A1
- open access
The consistency strength of long projective determinacy
-
Unsound inferences make proofs shorter
-
On a question of Krajewski's
-
Strong completeness of provability logic for ordinal spaces
-
Predicativity through transfinite reflection
-
- Journal Article
- A1
- open access
Comparing the strength of diagonally nonrecursive functions in the absence of Σ⁰₂ induction
-
- Journal Article
- A1
- open access
Reverse mathematics of first-order theories with finitely many models
-
- Journal Article
- A1
- open access
Diophantine sets of polynomials over algebraic extensions of the rationals
-
Models of transfinite provability logic