Fixed point theory in weak second-order arithmetic
DOI10.1016/0168-0072(90)90068-DzbMATH Open0711.03026OpenAlexW2013342737MaRDI QIDQ922541FDOQ922541
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
Recommendations
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
Cites Work
- A generalization of Tychonoff's fixed point theorem
- Subsystems of second order arithmetic
- Title not available (Why is that?)
- The Game of Hex and the Brouwer Fixed-Point Theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
- A generalization of the Hahn-Banach theorem
- Title not available (Why is that?)
- Countable algebra and set existence axioms
- Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
- Title not available (Why is that?)
Cited In (18)
- An independence result on weak second order bounded arithmetic
- How incomputable is the separable Hahn-Banach theorem?
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Complex analysis in subsystems of second order arithmetic
- Two kinds of fixed point theorems and reverse mathematics
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
- The Baire category theorem in weak subsystems of second-order arithmetic
- Primitive recursive reverse mathematics
- The Brouwer invariance theorems in reverse mathematics
- Reverse mathematics and order theoretic fixed point theorems
- 2000 Annual Meeting of the Association for Symbolic Logic
- The Brouwer fixed point theorem revisited
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Connected choice and the Brouwer fixed point theorem
- Mixed Nash equilibria for continuous games and reverse mathematics
- A non-standard construction of Haar measure and weak König's lemma
- Separation and Weak König's Lemma
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)
