Reverse mathematics and initial intervals

DOI10.1016/j.apal.2013.11.002zbMath1284.03137DBLPjournals/apal/FrittaionM14arXiv1303.2926OpenAlexW2094092842WikidataQ61834871 ScholiaQ61834871MaRDI QIDQ386152

Alberto Marcone, Emanuele Frittaion

Publication date: 16 December 2013

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

Full work available at URL: https://arxiv.org/abs/1303.2926

zbMATH Keywords

ATRpartial orderreverse mathematicsscatteredarithmetical transfinite recursionincomparableincompatibleinitial intervalstrong antichain

Mathematics Subject Classification ID

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

Related Items (4)

Reverse mathematics, well-quasi-orders, and Noetherian spaces ⋮ (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE ⋮ The Reverse Mathematics of wqos and bqos ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Diagonally non-computable functions and fireworks
• The maximal linear extension theorem in second order arithmetic
• From well-quasi-ordered sets to better-quasi-ordered sets
• The metamathematics of scattered linear orderings
• The Galvin-Prikry theorem and set existence axioms
• Borel quasi-orderings in subsystems of second-order arithmetic
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• On families of mutually exclusive sets
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders

This page was built for publication: Reverse mathematics and initial intervals