The following pages link to (Q3567844):
Displayed 7 items.
- Some axioms for constructive analysis (Q453178) (← links)
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)