Die Fragen der Abhängigkeit und der Entbehrlichkeit von Axiomen in Axiomensystemen, in denen ein Extremalaxiom auftritt. (Q2610754): Difference between revisions

Verf. betrachtet Axiomensysteme mit einem Extremalaxiom, d. h. einem Axiom, das besagt, daß man es mit einem maximalen oder minimalen Modell zu tun hat. Er stellt Kriterien für die Abhängigkeit eines Axioms von den übrigen auf, woraus Kriterien für die Entbehrlichkeit folgen. Er macht einige Anwendungen auf das \textit{Hilbert}sche Vollständigkeitsaxiom. Er zeigt, daß die Bemerkung \textit{Hilbert}s, daß das Archimedische Axiom im Vollständigkeitsaxiom nicht entbehrt werden kann, mit einem Satze in dieser Arbeit übereinstimmt; dasselbe gilt von der Behauptung \textit{Baldus}`, daß das Parallelenaxiom entbehrlich ist. Zum Schlusse werden Unabhängigkeit und Entbehrlichkeit von Axiomen im Strukturbild veranschaulicht. (V 1.)