Pages that link to "Item:Q2488272"
From MaRDI portal
The following pages link to Two simple sets that are not positively Borel (Q2488272):
Displayed 5 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)
- THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (Q5323793) (← links)
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)