Inter-relations among the four principal types of order. (Q5923939)

Zunächst wird eine Zusammenstellung von (größtenteils schon früher veröffentlichten) unabhängigen Axiomensystemen der folgenden vier Anordnungstypen gegeben: ``vor'', ``zwischen'', zyklische Ordnung, Trennung von Punktepaaren. Es wird dann gezeigt, daß sich für jedes dieser Axiomensysteme in jedem der drei jeweils anderen Systeme ein Modell angeben läßt. Zum formalen Teil der Arbeit sei bemerkt, daß Verf. ausdrücklich voraussetzt, daß verschiedene Buchstaben stets verschiedene Elemente bezeichnen; diese Festsetzung ist aber streng genommen nur dann syntaktisch vollständig, wenn zugleich die übliche Substitutionsregel der Logistik abgeändert wird; ein solcher Hinweis fehlt hier. (II.)