Preserving Dependent Choice (Q5382834)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Preserving Dependent Choice |
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
