Limit search to available items
Book Cover
Book
Author Bell, J. L. (John Lane), author.

Title Set theory : Boolean-valued models and independence proofs / John L. Bell
Edition Third edition
Published Oxford [Oxfordshire] : Clarendon Press, 2011
Oxford : Clarendon Press, 2011
©2005

Copies

Location Call no. Vol. Availability
 MELB  511.322 Bel/Stb  AVAILABLE
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