Pages that link to "Item:Q639666"

The following pages link to The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666):

Displaying 2 items.

• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)