Reverse mathematics and order theoretic fixed point theorems

DOI10.1007/S00153-017-0526-YzbMath1420.03029OpenAlexW2593141400MaRDI QIDQ527337

Takeshi Yamazaki, Takashi Sato

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

zbMATH Keywords

fixed point theoremreverse mathematicsorder theorysecond-order arithmeticcountable latticescountable posets

Mathematics Subject Classification ID

Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

Structure of semisimple rings in reverse and computable mathematics ⋮ Two kinds of fixed point theorems and reverse mathematics

Cites Work

• Fixed point theory in weak second-order arithmetic
• Chain-complete posets and directed sets with applications
• Sur le théorème de Zorn
• A lattice-theoretical fixpoint theorem and its applications
• A characterization of complete lattices
• Linear extensions of partial orders and reverse mathematics
• A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
• Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reverse mathematics and order theoretic fixed point theorems