Cover Image

Simplified independence proofs : Boolean valued models of set theory /

Show other versions (1)

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

Bibliographic Details
Main Author: Rosser, J. Barkley (John Barkley), 1907-1989
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Published: New York : Academic Press, 1969.
Series:Pure and applied mathematics (Academic Press) ; 31.
Subjects:
Independence (Mathematics)
Algebra, Boolean.
Set theory.
Logic, Symbolic and mathematical.
Algèbre de Boole.
Théorie des ensembles.
Logique symbolique et mathématique.
Indépendance (Mathématiques)
MATHEMATICS > Set Theory.
Logic, Symbolic and mathematical
Algebra, Boolean
Set theory
Beweis
Boolesche Algebra
Mathematik
Mengenlehre
Electronic books.
Unabhängigkeitsbeweis.
Online Access:Connect to the full text of this electronic book
Description
Summary:This text shows how to construct models for set theory in which the truth values of statements are elements of a Boolean algebra.
Physical Description:1 online resource (xv, 217 pages) : illustrations
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (page 214).
ISBN:9780123745736
012374573X
9780080873435
008087343X