Boolean-valued models and independence proofs in set theory /

Guardado en:
Autor Principal: Bell, J. L.
Otros Autores: Scott, Dana S. (Autor de introducción, etc.)
Formato: Libro
Idioma:English
Publicado: Oxford : Clarendon Press, 1977.
Series:Oxford logic guides
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
LEADER 01215cam a2200289 a 4500
001 MAT.inmabb002767
008 780623s1977####enk######b####001#0#eng##
005 20151110151604.0
245 1 0 |a Boolean-valued models and independence proofs in set theory /  |c by J. L. Bell. 
260 |a Oxford :  |b Clarendon Press,  |c 1977. 
300 |a xviii, 126 p. ;  |c 24 cm. 
440 0 |a Oxford logic guides 
500 |a Foreword by Dana Scott. 
521 8 |a "Primarily intended for readers who have mastered the material ordinarily covered in a first course on axiomatic set theory, including constructible sets and the Gödel relative consistency proofs. I have also assumed some acquaintance with mathematical logic, Boolean algebras, and the rudiments of general topology"--Preface. 
504 |a Bibliografía: p. [120]-122. 
510 4 |a MR,  |c 58 #10443 
020 |a 0198531680 
100 1 |a Bell, J. L.  |q (John Lane) 
700 1 |a Scott, Dana S.  |4 aui 
650 0 |a Axiomatic set theory. 
650 0 |a Independence (Mathematics) 
650 0 |a Algebra, Boolean. 
650 0 |a Model theory. 
084 |a 03E35 (03C90)  |2 msc2000 
010 |a  78306518  
040 |a DLC  |c DLC  |d DLC 
859 |h 03  |i B433b  |p A-5216  |b BIB. MATEMATICA