Boolean-valued models and independence proofs in set theory /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| 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!
|
| descripción de la copia: | Foreword by Dana Scott. |
|---|---|
| Descripción Física: | xviii, 126 p. ; 24 cm. |
| Público: | "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. |
| Bibliografía: | Bibliografía: p. [120]-122. |
| ISBN: | 0198531680 |