Reverse mathematics and order theoretic fixed point theorems
DOI10.1007/S00153-017-0526-YzbMATH Open1420.03029OpenAlexW2593141400MaRDI QIDQ527337FDOQ527337
Authors: Takashi Sato, Takeshi Yamazaki 
Publication date: 11 May 2017
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-017-0526-y
Recommendations
fixed point theoremorder theoryreverse mathematicssecond-order arithmeticcountable latticescountable posets
Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Cites Work
- Title not available (Why is that?)
- A lattice-theoretical fixpoint theorem and its applications
- Subsystems of second order arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Chain-complete posets and directed sets with applications
- Title not available (Why is that?)
- Linear extensions of partial orders and reverse mathematics
- A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
- Fixed point theory in weak second-order arithmetic
- A characterization of complete lattices
- Sur le théorème de Zorn
- Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
Cited In (14)
- Reverse mathematics of separably closed sets
- Fixed point theory in weak second-order arithmetic
- Two kinds of fixed point theorems and reverse mathematics
- Reverse mathematics, well-quasi-orders, and Noetherian spaces
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
- Hindman's theorem, ultrafilters, and reverse mathematics
- Structure of semisimple rings in reverse and computable mathematics
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Title not available (Why is that?)
- Reverse mathematical bounds for the termination theorem
- A theorem on refining division orders by the reverse lexicographic order
- Degrees bounding principles and universal instances in reverse mathematics
- Title not available (Why is that?)
- A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC
This page was built for publication: Reverse mathematics and order theoretic fixed point theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q527337)
