Die Fragen der Abhängigkeit und der Entbehrlichkeit von Axiomen in Axiomensystemen, in denen ein Extremalaxiom auftritt.

MaRDI QIDQ2610754zbMATH OpenFDO

Authors Friedrich Bachmann

Publication date 1936

Published in Actualités Scientifiques et Industrielles (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Review text

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

This page was built for publication: Die Fragen der Abhängigkeit und der Entbehrlichkeit von Axiomen in Axiomensystemen, in denen ein Extremalaxiom auftritt.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2610754)