Cover Image
Read Now

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

Bibliographic Details
Main Author: Rosser, J. Barkley
Format: eBook
Language:English
Published: New York Academic Press 1969, 1969
Series:Pure and applied mathematics, a series of monographs and textbooks
Subjects:
Logic, Symbolic And Mathematical / Http://id.loc.gov/authorities/subjects/sh85078115
Boolesche Algebra / Gnd / Http://d-nb.info/gnd/4146280-4
Independence (mathematics) / Http://id.loc.gov/authorities/subjects/sh85064829
Set Theory / Http://id.loc.gov/authorities/subjects/sh85120387
Algèbre De Boole
Théorie Des Ensembles
Mathematik / Gnd / Http://d-nb.info/gnd/4037944-9
Mengenlehre / Gnd / Http://d-nb.info/gnd/4074715-3
Logic, Symbolic And Mathematical / Fast / (ocolc)fst01002068
Indépendance (mathématiques)
Mathematics / Set Theory / Bisacsh
Algebra, Boolean / Http://id.loc.gov/authorities/subjects/sh85003429
Beweis / Gnd / Http://d-nb.info/gnd/4132532-1
Algebra, Boolean / Fast / (ocolc)fst00804924
Logique Symbolique Et Mathématique
Set Theory / Fast / (ocolc)fst01113587
Independence (mathematics) / Fast / (ocolc)fst00968877
Online Access:
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
Table of Contents:
  • 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
  • Includes bibliographical references (page 214)

Similar Items