Pages that link to "Item:Q1001912"
From MaRDI portal
The following pages link to Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912):
Displaying 20 items.
- On the class \(\mathbb S_0\) of real sequences (Q452912) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- On the constructive notion of closure maps (Q2910990) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS (Q2933676) (← links)
- Constructive Bounded Sequences and Lipschitz Functions (Q3317104) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- Indecomposability of R and R \ in Constructive Reverse Mathematics (Q3508163) (← links)
- Lipschitz functions in constructive reverse mathematics (Q4925156) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← 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)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
