Pages that link to "Item:Q4916541"
From MaRDI portal
The following pages link to On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541):
Displaying 13 items.
- Inheriting the anti-Specker property (Q621419) (← links)
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- On the necessity of some topological spaces (Q2104265) (← links)
- A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
- The failure of the uncountable non-commutative Specker phenomenon (Q2769825) (← links)
- Principles weaker than BD-N (Q2869905) (← links)
- Double sequences, almost Cauchyness and BD-N (Q2903765) (← links)
- (Q2938777) (← links)
- A constructive look at the completeness of the space (ℝ) (Q4451730) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- (Q5101354) (← links)
