New Computational Paradigms

DOI10.1007/B136981MaRDI QIDQ5717045zbMATH OpenOpenAlexFDO

Authors Josef Berger

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 5676623
• On the theorem of uniform continuity
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• A generalization of a theorem of Fan
• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
• Generalising the fan theorem
• Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
• UNIFORM CONTINUITY AND UNIFORM CONVERGENCE
• A Constructive Uniform Continuity Theorem
• scientific article; zbMATH DE number 889640

Cited in

(19)

• Sequences of real functions on [0,1] in constructive reverse mathematics
• Problems, solutions, and completions
• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
• Characterising Brouwer's continuity by bar recursion on moduli of continuity
• Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
• scientific article; zbMATH DE number 5676623 (Why is no real title available?)
• A Bizarre Property Equivalent to the -Fan Theorem
• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
• The weak König lemma and uniform continuity
• Almost the fan theorem.
• Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
• Bishop-Style Constructive Reverse Mathematics
• Principles of bar induction and continuity on Baire space
• Constructive equivalents of the uniform continuity theorem
• The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
• Undecidability of semi-unification on a napkin
• Glueing continuous functions constructively

This page was built for publication: New Computational Paradigms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5717045)