Cargando…

Axiomatic set theory

This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these technique...

Descripción completa

Detalles Bibliográficos
Autores principales: Takeuti, Gaisi, Zaring, Wilson M
Lenguaje:eng
Publicado: Springer 1973
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-1-4684-8751-0
http://cds.cern.ch/record/2023563