Pages that link to "Item:Q1577487"
From MaRDI portal
The following pages link to The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487):
Displaying 6 items.
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- Universes over Frege structures (Q1861539) (← links)
- UNFOLDING FINITIST ARITHMETIC (Q3066785) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
