A logical analysis of the generalized Banach contractions principle

DOI10.4115/JLA.2012.4.17MaRDI QIDQ3145986zbMATH OpenOpenAlexFDO

Authors Alexander P. Kreuzer

Publication date 17 December 2012

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

Copyright license Creative Commons Attribution 4.0 International

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

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)

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

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)