Holdings: Set theory :: THWS Bibkatalog

Set theory: Boolean-valued models and independence proofs

Saved in:

Bibliographic Details
Previous Title:	Bell, John L. Boolean valued models and independence proofs in set theory
Main Author:	Bell, John Lane (Author)
Format:	Book
Language:	English
Published:	Oxford [u.a.] Clarendon Press 2011
Edition:	3. ed., [paperback ed.]
Series:	Oxford logic guides 47
Subjects:	Mengenlehre Lehrbuch
Online Access:	Inhaltsverzeichnis
Physical Description:	XXII, 191 S.
ISBN:	9780199609161

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV039557532
003	DE-604
005	20111007
007	t
008	110901s2011 \|\|\|\| 00\|\|\| eng d
020			\|a 9780199609161 \|9 978-0-19-960916-1
035			\|a (OCoLC)742950677
035			\|a (DE-599)HBZHT016896692
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-11
082	0		\|a 511.322
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
100	1		\|a Bell, John Lane \|e Verfasser \|4 aut
245	1	0	\|a Set theory \|b Boolean-valued models and independence proofs \|c John L. Bell
250			\|a 3. ed., [paperback ed.]
264		1	\|a Oxford [u.a.] \|b Clarendon Press \|c 2011
300			\|a XXII, 191 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Oxford logic guides \|v 47
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
653			\|a Mengenlehre
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	0		\|8 1\p \|5 DE-604
780	0	0	\|i Früher u.d.T. \|a Bell, John L. \|t Boolean valued models and independence proofs in set theory
830		0	\|a Oxford logic guides \|v 47 \|w (DE-604)BV000013997 \|9 47
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024409280&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-024409280
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804148380587261952
adam_text	Titel: Set theory Autor: Bell, John L Jahr: 2011 CONTENTS List of Problems xxi 0 Boolean and Heyting Algebras: The Essentials 1 Lattices 1 Heyting and Boolean algebras 3 Filters, ideals, and homomorphisms 8 Representation theorems for distributive lattices 11 Connections with logic 12 1 Boolean-Valued Models of Set Theory: First Steps 16 Basic set theory 16 Construction of the model 20 Subalgebras and their modeis 29 Mixtures and the Maximum Principle 33 The truth of the axioms of set theory in V(ß) 37 Ordinals and constructible sets in V^ 45 Cardinals in V^B 48 2 Forcing and Some Independence Proofe 55 The forcing relation 55 Independence of the aodom of constructibility and the continuum hypothesis 60 Problems 66 3 Group Actions on VB and the Independence of the Axiom of Choice 71 Group actions on V^ 71 The independence of the existence of definable well-orderings of Po; 74 Problems 75 The independence of the axiom of choice 78 4 Generic Ultrafilters and Transitive Models of ZFC 88 Problems 101 xx CONTENTS 5 Cardinal Collapsing, Boolean Isomorphism, and Applications to the Theory of Boolean Algebras 109 Cardinal collapsing 109 Boolean isomorphism and infinitary equivalence 112 Applications to the theory of Boolean algebras 116 6 Iterated Boolean Extensions, Martin s Axiom, and Souslin s Hypothesis 120 Souslin s hypothesis 120 The independence of SH 122 Martin s axiom 125 Iterated Boolean extensions 128 Further results on Boolean algebras 137 The relative consistency of SH 142 Problems 146 7 Boolean-Valued Analysis 149 Boolean-valued modeis built from measure algebras 149 Boolean-valued modeis built from algebras of projections 153 8 Intuitionistic Set Theory and Heyting-Algebra-Valued Models 158 Intuitionistic Zermelo set theory 158 Intuitionistic Zermelo-Fraenkel set theory 163 Heyting-algebra-valued modeis 165 Forcing in Heyting-algebra-valued modeis and independence in IZF 167 Appendix: Boolean and Heyting Algebra-Valued Models as Categories 169 Categories and functors 169 Toposes 175 Boolean and Heyting algebra-valued modeis as toposes 179 Historical Notes 182 Bibliography 184 Index of Symbols 188 Index 189
any_adam_object	1
author	Bell, John Lane
author_facet	Bell, John Lane
author_role	aut
author_sort	Bell, John Lane
author_variant	j l b jl jlb
building	Verbundindex
bvnumber	BV039557532
classification_rvk	CC 2500
ctrlnum	(OCoLC)742950677 (DE-599)HBZHT016896692
dewey-full	511.322
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.322
dewey-search	511.322
dewey-sort	3511.322
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
edition	3. ed., [paperback ed.]
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01602nam a2200409zcb4500</leader><controlfield tag="001">BV039557532</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111007 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110901s2011 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199609161</subfield><subfield code="9">978-0-19-960916-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)742950677</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT016896692</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.322</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bell, John Lane</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Set theory</subfield><subfield code="b">Boolean-valued models and independence proofs</subfield><subfield code="c">John L. Bell</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. ed., [paperback ed.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 191 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford logic guides</subfield><subfield code="v">47</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mengenlehre</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">Früher u.d.T.</subfield><subfield code="a">Bell, John L.</subfield><subfield code="t">Boolean valued models and independence proofs in set theory</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">47</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">47</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024409280&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024409280</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV039557532
illustrated	Not Illustrated
indexdate	2024-07-10T00:06:13Z
institution	BVB
isbn	9780199609161
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024409280
oclc_num	742950677
open_access_boolean
owner	DE-11
owner_facet	DE-11
physical	XXII, 191 S.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Clarendon Press
record_format	marc
series	Oxford logic guides
series2	Oxford logic guides
spelling	Bell, John Lane Verfasser aut Set theory Boolean-valued models and independence proofs John L. Bell 3. ed., [paperback ed.] Oxford [u.a.] Clarendon Press 2011 XXII, 191 S. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 47 Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mengenlehre (DE-588)4123623-3 Lehrbuch gnd-content Mengenlehre (DE-588)4074715-3 s 1\p DE-604 Früher u.d.T. Bell, John L. Boolean valued models and independence proofs in set theory Oxford logic guides 47 (DE-604)BV000013997 47 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024409280&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Bell, John Lane Set theory Boolean-valued models and independence proofs Oxford logic guides Mengenlehre (DE-588)4074715-3 gnd
subject_GND	(DE-588)4074715-3 (DE-588)4123623-3
title	Set theory Boolean-valued models and independence proofs
title_auth	Set theory Boolean-valued models and independence proofs
title_exact_search	Set theory Boolean-valued models and independence proofs
title_full	Set theory Boolean-valued models and independence proofs John L. Bell
title_fullStr	Set theory Boolean-valued models and independence proofs John L. Bell
title_full_unstemmed	Set theory Boolean-valued models and independence proofs John L. Bell
title_old	Bell, John L. Boolean valued models and independence proofs in set theory
title_short	Set theory
title_sort	set theory boolean valued models and independence proofs
title_sub	Boolean-valued models and independence proofs
topic	Mengenlehre (DE-588)4074715-3 gnd
topic_facet	Mengenlehre Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024409280&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000013997
work_keys_str_mv	AT belljohnlane settheorybooleanvaluedmodelsandindependenceproofs

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items