A computable version of Banach's inverse mapping theorem
type: Item
instance of: scholarly article
title: A computable version of Banach's inverse mapping theorem
zbMATH Open document ID: 1159.03041
author: Vasco Brattka
published in: Annals of Pure and Applied Logic
publication date: 2009-03-25T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 46S30
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03D45
zbMATH DE Number: 5532831
zbMATH Keywords: computable functional analysis
zbMATH Keywords: effective descriptive set theory
MaRDI profile type: Publication
full work available at URL: j.apal.2008.09.002
OpenAlex ID: W2052053709
cites work: Q3803111
cites work: Q4779146
cites work: Q5718580
cites work: Effective Borel measurability and reducibility of functions
cites work: Borel complexity and computability of the Hahn-Banach theorem
cites work: Q5494231
cites work: Computability on subsets of metric spaces.
cites work: Computability on subsets of Euclidean space. I: Closed and compact subsets
cites work: Q5733836
cites work: On the definitions of computable real continuous functions
cites work: Mathematics based on incremental learning -- excluded middle and inductive inference
cites work: Q4838046
cites work: Q4520530
cites work: Q5718575
cites work: Q4002474
cites work: Q5711891
cites work: Q3262213
cites work: Q3994907
cites work: Extended admissibility.
cites work: Q4220572
cites work: Semi-metrics, closure spaces and digital topology
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem
cites work: Q4485693
DOI: 10.1016/J.APAL.2008.09.002
description: scientific article; zbMATH DE number 5532831