LEADER 02845nmm a2200565 u 4500
001 EB002120381
003 EBX01000000000000001258438
005 00000000000000.0
007 cr|||||||||||||||||||||
008 221028 ||| eng
020 |a 012374573X 
020 |a 9780123745736 
020 |a 9780080873435 
050 4 |a QA3 
100 1 |a Rosser, J. Barkley 
245 0 0 |a Simplified independence proofs  |b Boolean valued models of set theory  |c J. Barkley Rosser 
246 3 1 |a Boolean valued models of set theory 
260 |a New York  |b Academic Press  |c 1969, 1969 
300 |a xv, 217 pages  |b illustrations 
505 0 |a 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 
505 0 |a Includes bibliographical references (page 214) 
653 |a Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115 
653 |a Boolesche Algebra / gnd / http://d-nb.info/gnd/4146280-4 
653 |a Independence (Mathematics) / http://id.loc.gov/authorities/subjects/sh85064829 
653 |a Set theory / http://id.loc.gov/authorities/subjects/sh85120387 
653 |a Algèbre de Boole 
653 |a Théorie des ensembles 
653 |a Mathematik / gnd / http://d-nb.info/gnd/4037944-9 
653 |a Mengenlehre / gnd / http://d-nb.info/gnd/4074715-3 
653 |a Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068 
653 |a Indépendance (Mathématiques) 
653 |a MATHEMATICS / Set Theory / bisacsh 
653 |a Algebra, Boolean / http://id.loc.gov/authorities/subjects/sh85003429 
653 |a Beweis / gnd / http://d-nb.info/gnd/4132532-1 
653 |a Algebra, Boolean / fast / (OCoLC)fst00804924 
653 |a Logique symbolique et mathématique 
653 |a Set theory / fast / (OCoLC)fst01113587 
653 |a Independence (Mathematics) / fast / (OCoLC)fst00968877 
041 0 7 |a eng  |2 ISO 639-2 
989 |b ZDB-1-ELC  |a Elsevier eBook collection Mathematics 
490 0 |a Pure and applied mathematics, a series of monographs and textbooks 
500 |a 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 
015 |a GB6923802 
776 |z 9780125980500 
776 |z 008087343X 
776 |z 9780080873435 
776 |z 0125980507 
856 4 0 |u https://www.sciencedirect.com/science/bookseries/00798169/31  |x Verlag  |3 Volltext 
082 0 |a 164 
520 |a This text shows how to construct models for set theory in which the truth values of statements are elements of a Boolean algebra