Pages that link to "Item:Q1267848"

The following pages link to The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals (Q1267848):

Displaying 7 items.

• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
• Theories with self-application and computational complexity. (Q1427856) (← links)
• The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
• Universes over Frege structures (Q1861539) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• Universes in explicit mathematics (Q5939842) (← links)