New Computational Paradigms
From MaRDI portal
Publication:5717045
DOI10.1007/b136981zbMath1115.03088OpenAlexW2278484831MaRDI QIDQ5717045
Publication date: 11 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b136981
Related Items
Principles of bar induction and continuity on Baire space, Equivalence of bar induction and bar recursion for continuous functions with continuous moduli, Decidable fan theorem and uniform continuity theorem with continuous moduli, Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$, Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem, Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem, Characterising Brouwer's continuity by bar recursion on moduli of continuity, A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem, Glueing continuous functions constructively, Sequences of real functions on [0,1 in constructive reverse mathematics], Problems, solutions, and completions, Bishop-Style Constructive Reverse Mathematics
