scientific article; zbMATH DE number 1834650

zbMath0999.03057MaRDI QIDQ4779146

Vasco Brattka

Publication date: 25 November 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2136/21360224

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional analysisBaire categorycomputable analysis

Mathematics Subject Classification ID

Baire category, Baire spaces (54E52) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Related Items

Genericity of weakly computable objects ⋮ On the uniform computational content of the Baire category theorem ⋮ A Candidate for the Generalised Real Line ⋮ Computability of probability measures and Martin-Löf randomness over metric spaces ⋮ Rice’s Theorem in Effectively Enumerable Topological Spaces ⋮ Spectrum of the field of computable real numbers ⋮ Computable elements and functions in effectively enumerable topological spaces ⋮ Borel complexity and computability of the Hahn-Banach theorem ⋮ Computing Uniform Bounds ⋮ A computable version of Banach's inverse mapping theorem ⋮ Unnamed Item ⋮ Computable randomness and betting for computable probability spaces