Fixed point theory in weak second-order arithmetic

DOI10.1016/0168-0072(90)90068-DMaRDI QIDQ922541zbMATH OpenOpenAlexFDO

Authors Naoki Shioji, Kazuyuki Tanaka

Publication date 1990

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(90)90068-d

zbMATH Keywords

Hahn-Banach theoremfixed pointsaffine mappings\(RCA_ 0\)\(WKL_ 0\)Brouwer's theoremCauchy- Peano theorem for ordinary differential equationsinfinite dimensional analogueMarkov-Kukutani theoremweak subsystems of second-order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Reverse mathematics and order theoretic fixed point theorems
• The Baire category theorem in weak subsystems of second-order arithmetic
• Two kinds of fixed point theorems and reverse mathematics
• scientific article; zbMATH DE number 4197982
• Periodic points and subsystems of second-order arithmetic

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3924748 (Why is no real title available?)
• scientific article; zbMATH DE number 4036560 (Why is no real title available?)
• scientific article; zbMATH DE number 3720907 (Why is no real title available?)
• scientific article; zbMATH DE number 3758994 (Why is no real title available?)
• scientific article; zbMATH DE number 3466042 (Why is no real title available?)
• scientific article; zbMATH DE number 3536056 (Why is no real title available?)
• A generalization of Tychonoff's fixed point theorem
• A generalization of the Hahn-Banach theorem
• Countable algebra and set existence axioms
• Subsystems of second order arithmetic
• The Game of Hex and the Brouwer Fixed-Point Theorem
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

Cited in

(18)

• An independence result on weak second order bounded arithmetic
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• The Baire category theorem in weak subsystems of second-order arithmetic
• 2000 Annual Meeting of the Association for Symbolic Logic
• Two kinds of fixed point theorems and reverse mathematics
• Reverse mathematics and order theoretic fixed point theorems
• Connected choice and the Brouwer fixed point theorem
• How incomputable is the separable Hahn-Banach theorem?
• The Brouwer fixed point theorem revisited
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Mixed Nash equilibria for continuous games and reverse mathematics
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• Separation and Weak König's Lemma
• The Brouwer invariance theorems in reverse mathematics
• A non-standard construction of Haar measure and weak König's lemma
• Complex analysis in subsystems of second order arithmetic
• Primitive recursive reverse mathematics

This page was built for publication: Fixed point theory in weak second-order arithmetic

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