Infinite saturated orders

DOI10.1007/S11083-010-9160-6MaRDI QIDQ634735zbMATH OpenOpenAlexFDO

Authors Damir D. Dzhafarov

Publication date 16 August 2011

Published in Order (Search for Journal in Brave)

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

zbMATH Keywords

partial ordersinterval ordersreverse mathematicsknowledge spacesarithmetical comprehensionsaturated ordersset representations

Mathematics Subject Classification ID

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

Abstract: We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations in the context of reverse mathematics, showing that depending on one's choice of definitions it is either provable in $mathsf{RCA}_0$ or equivalent to $mathsf{ACA}_0$.

Recommendations

• Linear extensions of partial orders and reverse mathematics
• Publication:4946096
• Reverse mathematics and initial intervals
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• Interval orders and reverse mathematics

Cites work

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• Interval orders and reverse mathematics
• Intransitive indifference with unequal indifference intervals
• Knowledge Spaces
• Parsimonious set representations of orders, a generalization of the interval order concept, and knowledge spaces.
• Set representations of orders and a structural equivalent of saturation

Cited in

(5)

• Reverse mathematics and initial intervals
• Finite order corks
• Ordering infinite utility streams
• A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES
• Linear extensions of partial orders and reverse mathematics

This page was built for publication: Infinite saturated orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q634735)