TY  - BOOK
AU  - Scedrov,Andrej
AU  - Blass,A.
TI  - Freyd's Models for the Independence of the Axiom of Choice
T2  - Memoirs of the American Mathematical Society
SN  - 9781470408244
AV  - QA248 -- .B537 1989eb 
U1  - 511.3 
PY  - 1989///
CY  - Providence
PB  - American Mathematical Society
KW  - Axiom of choice
KW  - Toposes
KW  - Forcing (Model theory)
KW  - Electronic books
N1  - Intro -- Table of Contents -- Introduction -- 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 -- References
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3113926
ER  -