scientific article; zbMATH DE number 5676623

zbMATH Open1190.03053MaRDI QIDQ3407137FDOQ3407137

Authors: Josef Berger, Douglas Bridges 

Publication date: 2 March 2010

Title of this publication is not available (Why is that?)

Recommendations

• New Computational Paradigms
• On uniformly continuous maps between function spaces
• A unified theory of \(\theta\)-continuity for functions
• The intermediate value theorem: Preimages of compact sets under uniformly continuous functions
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• On uniformly continuous functions for some profinite topologies
• scientific article; zbMATH DE number 3998133
• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
• A Banach-Stone theorem for uniformly continuous functions
• On the density of the space of continuous and uniformly continuous functions

zbMATH Keywords

computable analysisrecursive function theoryBrouwer's fan theorem for detachable bars

Mathematics Subject Classification ID

Special maps on metric spaces (54E40) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Cited In (12)

• Brouwer's fan theorem and convexity
• The intermediate value theorem: Preimages of compact sets under uniformly continuous functions
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• The fan theorem and unique existence of maxima
• New Computational Paradigms
• Glueing continuous functions constructively
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• Almost the fan theorem.
• \(Z\)-stability in constructive analysis
• Intuitionistic sequential compactness?
• Convexity and constructive infima
• Reflections on function spaces

This page was built for publication:

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