Pages that link to "Item:Q2563984"

The following pages link to Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984):

Displaying 8 items.

• Explicit mathematics: power types and overloading (Q556826) (← links)
• The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← 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)
• Universes over Frege structures (Q1861539) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)