A logical analysis of the generalized Banach contractions principle

DOI10.4115/JLA.2012.4.17zbMATH Open1291.03013OpenAlexW2030329958MaRDI QIDQ3145986FDOQ3145986

Authors: Alexander P. Kreuzer 

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4115/jla.2012.4.17

Recommendations

• An application of Ramsey's Theorem to the Banach Contraction Principle
• scientific article; zbMATH DE number 1038623
• Computable functionals and arithmetic of ordinal types
• A generalization of the Banach contraction principle
• Proof mining and combinatorics. Program extraction for Ramsey's theorem for pairs
• Term extraction and Ramsey's theorem for pairs
• The bounded functional interpretation of bar induction
• Sequential Continuity of Functions in Constructive Analysis
• Completeness: when enough is enough
• Banach’s theorem in higher-order reverse mathematics

zbMATH Keywords

Banach contraction principlereverse mathematicsRamsey's theorem for pairssyndetic

Mathematics Subject Classification ID

Fixed-point theorems (47H10) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Constructive and recursive analysis (03F60) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cited In (2)

• Two kinds of fixed point theorems and reverse mathematics
• A generalization of the Banach contraction principle

This page was built for publication: A logical analysis of the generalized Banach contractions principle

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