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

Fingerprint

Axiomatization
Axioms
Concatenation
Transitivity
Substitution
Disorder
Arrangement
Restriction
Minimise

Keywords

  • Ordering
  • axiomatization
  • closure properties
  • transitivity

Cite this

@article{85e2f2df08c745919b1416acbb32383c,
title = "Towards an axiomatization of orderings",
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.",
keywords = "Ordering, axiomatization, closure properties, transitivity",
author = "T. Storcken and {de Swart}, Harrie",
year = "1992",
doi = "10.1007/BF00420357",
language = "English",
volume = "9",
pages = "367--396",
journal = "Order : A Journal on the Theory of Ordered Sets and its Applications",
issn = "0167-8094",
publisher = "Springer",
number = "4",

}

Towards an axiomatization of orderings. / Storcken, T.; de Swart, Harrie.

In: Order : A Journal on the Theory of Ordered Sets and its Applications, Vol. 9, No. 4, 1992, p. 367-396.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Towards an axiomatization of orderings

AU - Storcken, T.

AU - de Swart, Harrie

PY - 1992

Y1 - 1992

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

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

KW - Ordering

KW - axiomatization

KW - closure properties

KW - transitivity

U2 - 10.1007/BF00420357

DO - 10.1007/BF00420357

M3 - Article

VL - 9

SP - 367

EP - 396

JO - Order : A Journal on the Theory of Ordered Sets and its Applications

JF - Order : A Journal on the Theory of Ordered Sets and its Applications

SN - 0167-8094

IS - 4

ER -