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.

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Rosser, J. Barkley (John Barkley), 1907-1989
Format: Électronique eBook
Langue:Inglés
Publié: New York : Academic Press, 1969.
Collection:Pure and applied mathematics (Academic Press) ; 31.
Sujets:
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.
Accès en ligne:Texto completo
Texto completo
Texto completo

Internet

Texto completo
Texto completo
Texto completo

Error inesperado del formato de respuesta.
Informations d'exemplaires de

Documents similaires