The following pages link to A weak countable choice principle (Q4490238):
Displaying 13 items.
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- A constructive theory of point-set nearness. (Q1427791) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- The rigid relation principle, a new weak choice principle (Q3144867) (← links)
- A proof–technique in uniform space theory (Q3160570) (← links)
- Bishop's Lemma (Q5109210) (← links)
- Differentiating convex functions constructively (Q5145852) (← links)
- Converses of Bishop's lemma on located sets (Q5935882) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)