The following pages link to (Q4793035):
Displaying 7 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← 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)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- On the proof theory of type two functionals based on primitive recursive operations (Q5485397) (← links)
