Pages that link to "Item:Q2488272"
From MaRDI portal
The following pages link to Two simple sets that are not positively Borel (Q2488272):
Displaying 8 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- Retracing Cantor's first steps in Brouwer's company (Q1688956) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Equality and equivalence, intuitionistically (Q2658274) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
