Pages that link to "Item:Q4650268"
From MaRDI portal
The following pages link to Classical and constructive hierarchies in extended intuitionistic analysis (Q4650268):
Displaying 6 items.
- The double negation of the intermediate value theorem (Q636312) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- Solovay's relative consistency proof for FIM and BI (Q2075283) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
