Pages that link to "Item:Q5502822"
From MaRDI portal
The following pages link to A continuity principle, a version of Baire's theorem and a boundedness principle (Q5502822):
Displaying 7 items.
- Intuitionistic sequential compactness? (Q1788329) (← links)
- On the necessity of some topological spaces (Q2104265) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- Principles Weaker than BD-N (Q2869905) (← links)
- Continuous homomorphisms of R onto a compact group (Q3552396) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- Continuous isomorphisms from <b>R</b> onto a complete abelian group (Q4931099) (← links)