Pages that link to "Item:Q5898800"

The following pages link to Logical Approaches to Computational Barriers (Q5898800):

Displaying 23 items.

• Reflections on function spaces (Q651312) (← links)
• The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← 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)
• Intuitionistic sequential compactness? (Q1788329) (← links)
• Reclassifying the antithesis of Specker's theorem (Q1938392) (← 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)
• A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
• Weak König's lemma implies the uniform continuity theorem (Q2851185) (← links)
• A Constructive Uniform Continuity Theorem (Q3148703) (← links)
• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
• The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
• The weak König lemma and uniform continuity (Q3617370) (← links)
• (Q4873213) (← links)
• (Q4873222) (← 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)
• Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)
• A logical characterization of the continuous bar induction (Q6601762) (← links)