Pages that link to "Item:Q1861330"

The following pages link to Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330):

Displaying 9 items.

• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← 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)
• Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
• Reflections on reflections in explicit mathematics (Q2566068) (← links)
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
• On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
• On the intuitionistic strength of monotone inductive definitions (Q5311753) (← links)
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)