Infinite saturated orders

DOI10.1007/S11083-010-9160-6zbMATH Open1226.03023arXiv1010.2219OpenAlexW2141268006MaRDI QIDQ634735FDOQ634735

Authors: Damir D. Dzhafarov 

Publication date: 16 August 2011

Published in: Order (Search for Journal in Brave)

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$.

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

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

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)

Cites Work

• Intransitive indifference with unequal indifference intervals
• Knowledge Spaces
• Title not available (Why is that?)
• Interval orders and reverse mathematics
• 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)

• Finite order corks
• Reverse mathematics and initial intervals
• A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES
• Ordering infinite utility streams
• 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)