Pages that link to "Item:Q926186"
From MaRDI portal
The following pages link to The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186):
Displaying 8 items.
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- Principles Weaker than BD-N (Q2869905) (← links)
- On the constructive notion of closure maps (Q2910990) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- Specker sequences revisited (Q5693602) (← links)
