caa a22 4500 445813938 CHVBK 20180317145220.0 cr unu---uuuuu 170323e20110701xx s 000 0 eng 10.1007/s11083-010-9160-6 doi (NATIONALLICENCE)springer-10.1007/s11083-010-9160-6 Dzhafarov Damir University of Chicago, Chicago, IL, USA aut Infinite Saturated Orders [Elektronische Daten] [Damir Dzhafarov] We generalize the notion of saturated orders 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, this equivalence is either provable in RCA 0 or equivalent to ACA 0. Springer Science+Business Media B.V., 2010 Saturated orders nationallicence Interval orders nationallicence Set representations nationallicence Knowledge spaces nationallicence Reverse mathematics nationallicence Order Springer Netherlands 28/2(2011-07-01), 163-172 0167-8094 28:2<163 2011 28 11083 https://doi.org/10.1007/s11083-010-9160-6 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11083-010-9160-6 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Dzhafarov Damir University of Chicago, Chicago, IL, USA aut NATIONALLICENCE 773 0- Order Springer Netherlands 28/2(2011-07-01), 163-172 0167-8094 28:2<163 2011 28 11083 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer