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
Tabla de Contenidos:
  • General remarks
  • Boolean algebra
  • The basic model
  • The independence of V=L
  • Analogies with forcing
  • The independence of AxC
  • The independence of the continuum hypothesis
  • The generalized GCH : the unbounded case
  • Resolution of conceptual difficulties.

Ejemplares similares