Towards an axiomatization of orderings

T. Storcken, Harrie de Swart

Research output: Contribution to journalArticleScientificpeer-review

Abstract

A set of six axioms for sets of relations is introduced. All well-known sets of specific orderings, such as linear and weak orderings, satisfy these axioms. These axioms impose criteria of closedness with respect to several operations, such as concatenation, substitution and restriction. For operational reasons and in order to link our results with the literature, it is shown that specific generalizations of the transitivity condition give rise to sets of relations which satisfy these axioms. Next we study minimal extensions of a given set of relations which satisfy the axioms. By this study we come to the fundamentals of orderings: They appear to be special arrangements of several types of disorder. Finally we notice that in this framework many new sets of relations have to be regarded as a set of orderings and that it is not evident how to minimize the number of these new sets of orderings.
Original languageEnglish
Pages (from-to)367-396
JournalOrder : A Journal on the Theory of Ordered Sets and its Applications
Volume9
Issue number4
DOIs
Publication statusPublished - 1992

Keywords

  • Ordering
  • axiomatization
  • closure properties
  • transitivity

Fingerprint Dive into the research topics of 'Towards an axiomatization of orderings'. Together they form a unique fingerprint.

Cite this