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):

Displayed 6 items.

• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) ‎ (← 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 intuitionistic strength of monotone inductive definitions (Q5311753) ‎ (← links)
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) ‎ (← links)