Reverse mathematics and order theoretic fixed point theorems

DOI10.1007/S00153-017-0526-YMaRDI QIDQ527337zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

fixed point theoremorder theoryreverse mathematicssecond-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)

Recommendations

• Fixed point theory in weak second-order arithmetic
• Two kinds of fixed point theorems and reverse mathematics
• scientific article; zbMATH DE number 3924748
• Fixed point theorems on chain complete partially ordered sets
• scientific article; zbMATH DE number 2019844

Cites work

• scientific article; zbMATH DE number 5367214 (Why is no real title available?)
• scientific article; zbMATH DE number 3758994 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 1973375 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
• A characterization of complete lattices
• A lattice-theoretical fixpoint theorem and its applications
• Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
• Chain-complete posets and directed sets with applications
• Fixed point theory in weak second-order arithmetic
• Linear extensions of partial orders and reverse mathematics
• Subsystems of second order arithmetic
• Sur le théorème de Zorn

Cited in

(14)

• A theorem on refining division orders by the reverse lexicographic order
• scientific article; zbMATH DE number 2236630 (Why is no real title available?)
• Degrees bounding principles and universal instances in reverse mathematics
• Fixed point theory in weak second-order arithmetic
• Two kinds of fixed point theorems and reverse mathematics
• A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Reverse mathematical bounds for the termination theorem
• Hindman's theorem, ultrafilters, and reverse mathematics
• Reverse mathematics of separably closed sets
• Structure of semisimple rings in reverse and computable mathematics
• scientific article; zbMATH DE number 619555 (Why is no real title available?)

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)