Effective fixed point theorem over a non-computably separable metric space

DOI10.1007/3-540-45335-0_18MaRDI QIDQ4531995zbMATH OpenFDO

Authors Izumi Takeuti

Publication date 27 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Metric spaces, metrizability (54E35) Fixed-point and coincidence theorems (topological aspects) (54H25)

Recommendations

• Effectivity and effective continuity of functions between computable metric spaces
• Effective zero-dimensionality for computable metric spaces
• scientific article; zbMATH DE number 40457
• Effective properties of sets and functions in metric spaces with computability structure
• Metric fixed point results concerning measures of noncompactness
• Nonunique fixed point theorems in partial metric spaces
• scientific article; zbMATH DE number 5294623
• scientific article; zbMATH DE number 2021454
• scientific article; zbMATH DE number 1782888
• Fixed point theorems and characterizations of metric completeness

Cited in

(1)

• Effective contraction theorem and its application

This page was built for publication: Effective fixed point theorem over a non-computably separable metric space

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