02061nam 2200577 450 991081242850332120170821201212.01-4704-0824-4(CKB)3360000000464588(EBL)3113926(SSID)ssj0000888941(PQKBManifestationID)11566316(PQKBTitleCode)TC0000888941(PQKBWorkID)10876174(PQKB)10365506(MiAaPQ)EBC3113926(RPAM)2451936(PPN)195412877(EXLCZ)99336000000046458820140909h19891989 uy 0engur|n|---|||||txtccrFreyd's models for the independence of the axiom of choice /Andreas Blass and Andre ScedrovProvidence, Rhode Island :American Mathematical Society,1989.©19891 online resource (146 p.)Memoirs of the American Mathematical Society,0065-9266 ;Number 404"May 1989, Volume 79, Number 404 (end of volume)."0-8218-2468-6 Includes bibliographical references.""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""Memoirs of the American Mathematical Society ;Number 404.Axiom of choiceToposesForcing (Model theory)Axiom of choice.Toposes.Forcing (Model theory)511.3Blass Andreas1947-321690Ščedrov Andrej1955-MiAaPQMiAaPQMiAaPQBOOK9910812428503321Freyd's models for the independence of the axiom of choice3971600UNINA