Pages that link to "Item:Q3508163"
From MaRDI portal
The following pages link to Indecomposability of R and R \ in Constructive Reverse Mathematics (Q3508163):
Displaying 4 items.
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics (Q3625493) (← links)
- Complements of Intersections in Constructive Mathematics (Q4304147) (← links)
- Connectedness of the continuum in intuitionistic mathematics (Q5109234) (← links)