TY  - BOOK
AU  - Blass,Andreas
AU  - �S�cedrov,Andrej
TI  - Freyd's models for the independence of the axiom of choice
T2  - Memoirs of the American Mathematical Society, 
SN  - 9781470408244 (online)
AV  - QA3QA248 .A57 no. 404
U1  - 510 s511.3 20
PY  - 1989///
CY  - Providence, R.I., USA
PB  - American Mathematical Society
KW  - Axiom of choice
KW  - Toposes
KW  - Forcing (Model theory)
N1  - "May 1989."; Bibliography: p. 132-134; 1. Permutation models; 2. Forcing and Boolean-valued models; 3. Topoi; 4. Models represented by Boolean topoi; 5. Freyd's models; 6. Freyd's first example; 7. Freyd's second example; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/memo/0404
UR  - http://dx.doi.org/10.1090/memo/0404
ER  -