Pages that link to "Item:Q1919537"

The following pages link to Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537):

Displaying 17 items.

• Explicit mathematics: power types and overloading (Q556826) (← links)
• Theories with self-application and computational complexity. (Q1427856) (← links)
• The unfolding of non-finitist arithmetic (Q1577479) (← links)
• The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
• Universes over Frege structures (Q1861539) (← links)
• Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
• Reflections on reflections in explicit mathematics (Q2566068) (← links)
• EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS (Q2795201) (← links)
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
• Realisability in weak systems of explicit mathematics (Q3107339) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• Realization of analysis into Explicit Mathematics (Q4328839) (← links)
• Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
• Universes in explicit mathematics (Q5939842) (← links)
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)