\(\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4\) (Q5964937)
From MaRDI portal
scientific article; zbMATH DE number 6548035
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4\) |
scientific article; zbMATH DE number 6548035 |
Statements
\(\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4\) (English)
0 references
2 March 2016
0 references
weak axiom of choice
0 references
pcf
0 references
abelian groups
0 references
0 references
0 references
