Preserving Dependent Choice (Q5382834)
From MaRDI portal
scientific article; zbMATH DE number 7067799
Language | Label | Description | Also known as |
---|---|---|---|
English | Preserving Dependent Choice |
scientific article; zbMATH DE number 7067799 |
Statements
Preserving Dependent Choice (English)
0 references
18 June 2019
0 references
symmetric extensions
0 references
dependent choice
0 references
the axiom of choice
0 references