Pages that link to "Item:Q1788329"
From MaRDI portal
The following pages link to Intuitionistic sequential compactness? (Q1788329):
Displaying 6 items.
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- Omniscience, sequential compactness, and the anti-Specker property (Q3081240) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- A Weak Constructive Sequential Compactness Property and the Fan Theorem (Q5693110) (← links)
- Specker sequences revisited (Q5693602) (← links)