Pages that link to "Item:Q3424134"
From MaRDI portal
The following pages link to A Bizarre Property Equivalent to the -Fan Theorem (Q3424134):
Displayed 6 items.
- A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference (Q534167) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)