Pages that link to "Item:Q4262568"

The following pages link to Explicit mathematics with the monotone fixed point principle. II: Models (Q4262568):

Displaying 12 items.

• Operational closure and stability (Q385076) (← links)
• The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
• An ordinal analysis of stability (Q1765099) (← links)
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← 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)
• Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← 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)
• Some set-theoretic reduction principles (Q6612880) (← links)