On Generic Extensions Without the Axiom of Choice
Monro, G. P.
J. Symbolic Logic, Tome 48 (1983) no. 1, p. 39-52 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Let ZF denote Zermelo-Fraenkel set theory (without the axiom of choice), and let $M$ be a countable transitive model of ZF. The method of forcing extends $M$ to another model $M\lbrack G\rbrack$ of ZF (a "generic extension"). If the axiom of choice holds in $M$ it also holds in $M\lbrack G\rbrack$, that is, the axiom of choice is preserved by generic extensions. We show that this is not true for many weak forms of the axiom of choice, and we derive an application to Boolean toposes.
Publié le : 1983-03-14
Classification:  
@article{1183741188,
     author = {Monro, G. P.},
     title = {On Generic Extensions Without the Axiom of Choice},
     journal = {J. Symbolic Logic},
     volume = {48},
     number = {1},
     year = {1983},
     pages = { 39-52},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741188}
}

Monro, G. P. On Generic Extensions Without the Axiom of Choice. J. Symbolic Logic, Tome 48 (1983) no. 1, pp.  39-52. http://gdmltest.u-ga.fr/item/1183741188/