Pages that link to "Item:Q3507452"
From MaRDI portal
The following pages link to Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452):
Displaying 7 items.
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- The swap of integral and limit in constructive mathematics (Q3053233) (← links)
- A Constructive Uniform Continuity Theorem (Q3148703) (← links)
- Lipschitz functions in constructive reverse mathematics (Q4925156) (← links)
- Logical Approaches to Computational Barriers (Q5898800) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)