You are not currently logged in.
Access JSTOR through your library or other institution:
If You Use a Screen ReaderThis content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
On Generic Extensions Without the Axiom of Choice
G. P. Monro
The Journal of Symbolic Logic
Vol. 48, No. 1 (Mar., 1983), pp. 39-52
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/2273318
Page Count: 14
You can always find the topics here!Topics: Axiom of choice, Mathematical theorems, Mathematical set theory, Morphisms, Boolean data, Boolean algebras, Mathematical topoi, Mathematical functions, Boolean valued model
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available
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[ G] of ZF (a "generic extension"). If the axiom of choice holds in M it also holds in M[ G], 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.
The Journal of Symbolic Logic © 1983 Association for Symbolic Logic