Description |
xxii, 191 pages : illustrations ; 24 cm |
Series |
Oxford logic guides |
|
Oxford logic guides ; 47
|
Contents |
Contents note continued: The relative consistency of SH -- Problems -- Boolean-valued models built from measure algebras -- Boolean-valued models built from algebras of projections -- Intuitionistic Zermelo set theory -- Intuitionistic Zermelo-Fraenkel set theory -- Heyting-algebra-valued models -- Forcing in Heyting-algebra-valued models and independence in IZF -- Categories and functors -- Toposes -- Boolean and Heyting algebra-valued models as toposes |
|
Machine generated contents note: Lattices -- Heyting and Boolean algebras -- Filters, ideals, and homomorphisms -- Representation theorems for distributive lattices -- Connections with logic -- Basic set theory -- Construction of the model -- Subalgebras and their models -- Mixtures and the Maximum Principle -- The truth of the axioms of set theory in v (B) -- Ordinals and constructible sets in v(B) -- Cardinals in V(B) -- The forcing relation -- Independence of the axiom of constructibility and the continuum hypothesis -- Problems -- Group actions on V(B) -- The independence of the existence of definable well-orderings of Pω -- Problems -- The independence of the axiom of choice -- Problems -- Cardinal collapsing -- Boolean isomorphism and infinitary equivalence -- Applications to the theory of Boolean algebras -- Souslin's hypothesis -- The independence of SH -- Martin's axiom -- Iterated Boolean extensions -- Further results on Boolean algebras -- |
Notes |
First published 2005 |
Bibliography |
Includes bibliographical references (pages 184-187) and index |
Subject |
Algebra, Boolean.
|
|
Axiomatic set theory.
|
|
Independence (Mathematics)
|
|
Model theory.
|
LC no. |
2011377875 |
ISBN |
0199609160 (paperback) |
|
9780199609161 |
|