Weak choice principles (Q4382073)

Hier wird durch AC das Auswahlaxiom, durch SP das Selektionprinzip (Verringerung jeder mehrelementigen Menge), durch OP das Prinzip der linearen Einordbarkeit, durch ACWO das Auswahlaxiom für wohlordbare Teilmengen, durch ACF das Auswahlaxiom für endliche Teilmengen und durch \(\text{C}_n\) das Auswahlaxiom für \(n\)-elementige Teilmengen bezeichnet. Es gelten folgende Implikationen: \(\text{AC}\Rightarrow \text{SP}\Rightarrow \text{OP}\Rightarrow \text{ACF}\Rightarrow \forall n\text{C}_n\Rightarrow \text{C}_m\), \(\text{AC}\Rightarrow \text{ACWO}\Rightarrow \text{ACF}\). Durch \(\text{AC}^\diamondsuit\) wird folgende begrenzte Version des AC bezeichnet: ``Für jede unendliche Menge \(X\) gibt es eine unendliche Menge \(Y\subseteq X\) und eine Auswahlfunktion für die Menge aller nichtleeren Teilmengen von \(Y\)''. Gleichartige begrenzte Versionen werden auch für andere der obengenannten Axiome gegeben. Jede begrenzte Version ist schwächer als das entsprechende Originalaxiom. Zwischen den begrenzten Versionen gelten Implikationen, die den oben gegebenen entsprechen. Durch \(\text{AC}^-\) wird folgende verminderte Version von AC bezeichnet: ``Für jedes unendliche System von nichtleeren Mengen gibt es ein unendliches Teilsystem mit einer Auswahlfunktion''. Auch für andere der obigen Axiome außer OP werden verminderte Versionen gegeben, die auch schwächer sind als die entsprechenden Originalaxiome. Es gelten die Implikationen: \(\text{AC}^-\Rightarrow \text{SP}^-\), \(\text{ACF}^-\Rightarrow\forall n\text{C}^-_n\Rightarrow \text{C}^-_m\), \(\text{AC}^-\Rightarrow \text{ACWO}^-\Rightarrow \text{ACF}^-\) und \(\text{SP}^-\Rightarrow\forall n\text{C}^-_n\). In dem Artikel erhält man Implikationen oder Negationen von Implikationen zwischen verminderten und begrenzten Versionen der Axiome.