The following pages link to New Computational Paradigms (Q5717045):
Displaying 15 items.
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- Problems, solutions, and completions (Q1044674) (← 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)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- (Q3407137) (← links)
- A Bizarre Property Equivalent to the -Fan Theorem (Q3424134) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- The weak König lemma and uniform continuity (Q3617370) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Principles of bar induction and continuity on Baire space (Q5224158) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)
