Weak choice principles
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.
- Denumerable cellular families in \(\mathbf{ZF}\)
- Weak belief and permissibility
- The rigid relation principle, a new weak choice principle
- scientific article; zbMATH DE number 3877932 (Why is no real title available?)
- The Axiom of Choice in Second‐Order Predicate Logic
- The relation between two diminished choice principles
- On variants of the principle of consistent choices, the minimal cover property and the 2-compactness of generalized Cantor cubes
- Axioms of multiple choice
- Some implications of Ramsey choice for families of \(n\)-element sets
This page was built for publication: Weak choice principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382073)
