The following pages link to (Q3968923):
Displaying 7 items.
- Admissible closures of polynomial time computable arithmetic (Q634777) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Lower bounds on \(\beta (\alpha)\) (Q2104252) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
