The axiom of choice (Q5904544)
From MaRDI portal
scientific article; zbMATH DE number 3697110
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The axiom of choice |
scientific article; zbMATH DE number 3697110 |
Statements
The axiom of choice (English)
0 references
1980
0 references
axiom of choice
0 references
interpretation of ZF in the topos of double-negation sheaves
0 references
monoid representations
0 references
well-ordered families
0 references
Grothendieck topos
0 references
exponential variety
0 references
topos of sheaves
0 references
well-foundedness of the topos of double-negation sheaves
0 references
