Translator Disclaimer
2007 Interval Orders and Reverse Mathematics
Alberto Marcone
Notre Dame J. Formal Logic 48(3): 425-448 (2007). DOI: 10.1305/ndjfl/1187031412

Abstract

We study the reverse mathematics of interval orders. We establish the logical strength of the implications among various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order is an interval order if and only if it does not contain 2 \oplus 2. We also study proper interval orders and their characterization theorem: a partial order is a proper interval order if and only if it contains neither 2 \oplus 2 nor 3 \oplus 1.

Citation

Download Citation

Alberto Marcone. "Interval Orders and Reverse Mathematics." Notre Dame J. Formal Logic 48 (3) 425 - 448, 2007. https://doi.org/10.1305/ndjfl/1187031412

Information

Published: 2007
First available in Project Euclid: 13 August 2007

zbMATH: 1135.03005
MathSciNet: MR2336356
Digital Object Identifier: 10.1305/ndjfl/1187031412

Subjects:
Primary: 03B30
Secondary: 03D45, 06A06

Rights: Copyright © 2007 University of Notre Dame

JOURNAL ARTICLE
24 PAGES


SHARE
Vol.48 • No. 3 • 2007
Back to Top