Freyd’s models for the independence of the axiom of choice (Q4205438)
From MaRDI portal
scientific article; zbMATH DE number 4125395
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Freyd’s models for the independence of the axiom of choice |
scientific article; zbMATH DE number 4125395 |
Statements
Freyd’s models for the independence of the axiom of choice (English)
0 references
1989
0 references
permutation models
0 references
forcing
0 references
double-negation sheaves
0 references
topos-theoretic models for the independence of the axiom of
0 references
choice
0 references
Boolean-valued models
0 references
representation of a model of set theory by a topos
0 references
Cohen generic reals
0 references
topos-theoretic models for the independence of the axiom of choice
0 references
