Postulates for the separation of point-pairs in the foundations of geometry. (Q2612836)

Die von \textit{Huntington} und \textit{Rosinger} angegebenen Postulate (Proc. Acad. USA 67 (1932), 61-145; F. d. M. 58) für die gegenseitige Trennung von Punkte-Paaren (Anordnungs-Postulate) werden in dieser Arbeit teils verallgemeinert, teils durch neue allgemeinere ersetzt. Es wird dabei von der \textit{Kunugi}schen Definition für die ``Zwischen''- Beziehung (Tôhoku math. Journ. 37 (1933), 414-422; JFM 59.0550.*) ausgegangen und ein neues \textit{Axiom} eingeführt, aus dem eine Reihe von Sätzen folgen, die zeigen, daß, wenn in der \textit{Kunugi}schen Definition eine (Punkt-)Kette zu einem Kreis oder einer Geraden wird, man auf eine systematische Aufstellung verallgemeinerter Zwischen-Postulate geführt wird. Durch eine Reihe von Ausfallbeispielen wird gezeigt, daß keines der \textit{Huntington-Rosinger}schen Postulate durch des Verf. erweiterte Zwischen-Definition (Axiom 1) befriedigt wird; deshalb gibt er ein neues System allgemeinerer Postulate. Es enthält sechs Einzel-Forderungen, von denen die beiden ersten mit den \textit{Huntington-Rosinger}schen \(D\) und \(F\) identisch sind. Ihre gegenseitigen Beziehungen werden untersucht und schließlich der Unabhängigkeitsbeweis für die neuen Postulate erbracht. (II.)