Pages that link to "Item:Q1356976"

The following pages link to On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976):

Displaying 9 items.

• Explicit mathematics: power types and overloading (Q556826) (← links)
• Intuitionistic fixed point logic (Q2220485) (← 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)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)
• On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
• The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
• Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
• On the intuitionistic strength of monotone inductive definitions (Q5311753) (← links)