Pages that link to "Item:Q5687407"
From MaRDI portal
The following pages link to An Intuitionistic Version of Cantor's Theorem (Q5687407):
Displaying 10 items.
- Constructing Cantorian counterexamples (Q1362586) (← links)
- Retracing Cantor's first steps in Brouwer's company (Q1688956) (← links)
- An intuitionistic proof of Kruskal's theorem (Q1879322) (← links)
- Cantor theorem and friends, in logical form (Q1942044) (← links)
- Intuitionist counterexample to the classical Schroeder-Bernstein theorem (Q3986526) (← links)
- (Q4204139) (← links)
- (Q4691631) (← links)
- (Q5379656) (← links)
- (Q5405601) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)