The following pages link to (Q4934569):
Displaying 7 items.
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- Universes over Frege structures (Q1861539) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)