Simplified independence proofs : Boolean valued models of set theory /

This text shows how to construct models for set theory in which the truth values of statements are elements of a Boolean algebra.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Rosser, J. Barkley (John Barkley), 1907-1989
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Academic Press, 1969.
Colección:Pure and applied mathematics (Academic Press) ; 31.
Temas:
Independence (Mathematics)
Algebra, Boolean.
Set theory.
Logic, Symbolic and mathematical.
Alg�ebre de Boole.
Th�eorie des ensembles.
Logique symbolique et math�ematique.
Ind�ependance (Math�ematiques)
MATHEMATICS > Set Theory.
Logic, Symbolic and mathematical
Algebra, Boolean
Set theory
Beweis
Boolesche Algebra
Mathematik
Mengenlehre
Unabh�angigkeitsbeweis.
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario:This text shows how to construct models for set theory in which the truth values of statements are elements of a Boolean algebra.
Descripción Física:1 online resource (xv, 217 pages) : illustrations
Bibliografía:Includes bibliographical references (page 214).
ISBN:9780123745736
012374573X
9780080873435
008087343X

Ejemplares similares