Interval Orders and Reverse Mathematics

Notre Dame Journal of Formal Logic 48 (3):425-448 (2007)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1187031412

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reverse mathematics and the equivalence of definitions for well and better quasi-orders.Peter Cholak, Alberto Marcone & Reed Solomon - 2004 - Journal of Symbolic Logic 69 (3):683-712.
Strict reverse mathematics draft.Harvey M. Friedman - unknown
Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Reverse mathematics: the playground of logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Semicontinuous Representability of Homothetic Interval Orders by Means of Two Homogeneous Functionals.Gianni Bosi - 2002 - Theory and Decision 52 (4):303-312.
The interval: relation and becoming in Irigaray, Aristotle, and Bergson.Rebecca Hill - 2012 - New York: Fordham University Press.
The Block Relation in Computable Linear Orders.Michael Moses - 2011 - Notre Dame Journal of Formal Logic 52 (3):289-305.
On the Indecomposability of $\omega^{n}$.Jared R. Corduan & François G. Dorais - 2012 - Notre Dame Journal of Formal Logic 53 (3):373-395.
Geometry Axioms.Harvey M. Friedman - unknown
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
Strict reverse mathematics.Harvey M. Friedman - unknown
The inevitability of logical strength: Strict reverse mathematics.Harvey Friedman - manuscript
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Review of M. Giaquinto, The Search for Certainty. [REVIEW]Carlo Cellucci - 2003 - European Journal of Philosophy 11 (3):420-423.

Analytics

Added to PP
2010-08-24

Downloads
23 (#664,515)

6 months
16 (#148,627)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on the reverse mathematics of the sorites.Damir D. Dzhafarov - 2019 - Review of Symbolic Logic 12 (1):30-36.

Add more citations

References found in this work

Foundational aspects of theories of measurement.Dana Scott & Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):113-128.

Add more references