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