Cargando…

Freyd's models for the independence of the axiom of choice /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Blass, Andreas, 1947- (Autor), Ščedrov, Andrej, 1955- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence, Rhode Island : American Mathematical Society, 1989.
Colección:Memoirs of the American Mathematical Society ; no. 404.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 i 4500
001 EBOOKCENTRAL_ocn891396741
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cn|||||||||
008 140909t19891989riu ob 000 0 eng d
040 |a E7B  |b eng  |e rda  |e pn  |c E7B  |d OCLCO  |d EBLCP  |d OCLCQ  |d OCLCF  |d OCLCQ  |d OCLCO  |d OCLCQ  |d QGK  |d K6U  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 1259235923 
020 |a 9781470408244  |q (e-book) 
020 |a 1470408244  |q (e-book) 
020 |z 9780821824689 
035 |a (OCoLC)891396741  |z (OCoLC)1259235923 
050 4 |a QA248  |b .B537 1989eb 
082 0 4 |a 511.3  |2 20 
049 |a UAMI 
100 1 |a Blass, Andreas,  |d 1947-  |e author.  |1 https://id.oclc.org/worldcat/entity/E39PBJckQVP99XtMGhRdWpjBfq 
245 1 0 |a Freyd's models for the independence of the axiom of choice /  |c Andreas Blass and Andre Scedrov. 
264 1 |a Providence, Rhode Island :  |b American Mathematical Society,  |c 1989. 
264 4 |c ©1989 
300 |a 1 online resource (146 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Memoirs of the American Mathematical Society,  |x 0065-9266 ;  |v Number 404 
500 |a "May 1989, Volume 79, Number 404 (end of volume)." 
504 |a Includes bibliographical references. 
588 0 |a Print version record. 
505 0 |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 
546 |a English. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Axiom of choice. 
650 0 |a Toposes. 
650 0 |a Forcing (Model theory) 
650 6 |a Axiome du choix. 
650 6 |a Topos (Mathématiques) 
650 6 |a Forcing (Théorie des modèles) 
650 7 |a Axiom of choice  |2 fast 
650 7 |a Forcing (Model theory)  |2 fast 
650 7 |a Toposes  |2 fast 
700 1 |a Ščedrov, Andrej,  |d 1955-  |e author.  |1 https://id.oclc.org/worldcat/entity/E39PCjBQt99d7PftbCqvBDDxwC 
758 |i has work:  |a Freyd's models for the independence of the axiom of choice (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFTJ8dWCB6YYx7kkF6hDtq  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Blass, Andreas, 1947-  |t Freyd's models for the independence of the axiom of choice.  |d Providence, Rhode Island : American Mathematical Society, ©1989  |h x, 134 pages  |k Memoirs of the American Mathematical Society ; Number 404  |x 0065-9266  |z 9780821824689 
830 0 |a Memoirs of the American Mathematical Society ;  |v no. 404. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3113926  |z Texto completo 
936 |a BATCHLOAD 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL3113926 
938 |a ebrary  |b EBRY  |n ebr10918879 
994 |a 92  |b IZTAP