LEADER 02065nam  2200577   450 
001 9910480743103321
005 20170821201212.0
010   $a1-4704-0824-4
035   $a(CKB)3360000000464588
035   $a(EBL)3113926
035   $a(SSID)ssj0000888941
035   $a(PQKBManifestationID)11566316
035   $a(PQKBTitleCode)TC0000888941
035   $a(PQKBWorkID)10876174
035   $a(PQKB)10365506
035   $a(MiAaPQ)EBC3113926
035   $a(PPN)195412877
035   $a(EXLCZ)993360000000464588
100   $a20140909h19891989  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aFreyd's models for the independence of the axiom of choice /$fAndreas Blass and Andre Scedrov
210  1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d1989.
210  4$dİ1989
215   $a1 online resource (146 p.)
225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vNumber 404
300   $a"May 1989, Volume 79, Number 404 (end of volume)."
311   $a0-8218-2468-6 
320   $aIncludes bibliographical references.
327   $a""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""
410  0$aMemoirs of the American Mathematical Society ;$vNumber 404.
606   $aAxiom of choice
606   $aToposes
606   $aForcing (Model theory)
608   $aElectronic books.
615  0$aAxiom of choice.
615  0$aToposes.
615  0$aForcing (Model theory)
676   $a511.3
700   $aBlass$b Andreas$f1947-$0321690
702   $aS?c?edrov$b Andrej$f1955-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910480743103321
996   $aFreyd's models for the independence of the axiom of choice$91908074
997   $aUNINA