|
|
|
|
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
|