scientific article; zbMATH DE number 5676623

MaRDI QIDQ3407137zbMATH OpenFDO

Authors Josef Berger, Douglas Bridges

Publication date 2 March 2010

zbMATH Keywords

Brouwer's fan theorem for detachable barscomputable analysisrecursive function theory

Mathematics Subject Classification ID

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

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

Cited in

(12)

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

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)