Pages that link to "Item:Q453178"
From MaRDI portal
The following pages link to Some axioms for constructive analysis (Q453178):
Displaying 5 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Solovay's relative consistency proof for FIM and BI (Q2075283) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (Q5222539) (← links)
