The following pages link to (Q3535125):
Displaying 4 items.
- Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (Q5222539) (← links)
- The Independence of Markov's Principle in Type Theory. (Q5369482) (← links)