|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: John L. Bell (Professor of Philosophy, University of Western Ontario)Publisher: Oxford University Press Imprint: Oxford University Press Edition: 33rd Revised edition Volume: 47 Dimensions: Width: 16.60cm , Height: 1.30cm , Length: 23.40cm Weight: 0.356kg ISBN: 9780199609161ISBN 10: 0199609160 Pages: 216 Publication Date: 05 May 2011 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsForward by Dana Scott Preface List of Problems 0: Boolean and Heyting Algebras: The Essentials 1: Boolean-Valued Models of Set Theory: First Steps 2: Forcing and Some Independence Proofs 3: Group Actions on V(B) and the Independence of the Axiom of Choice 4: Generic Ultrafilters and Transitive Models of ZFC 5: Cardinal Collapsing, Boolean Isomorphism, and Applications to the Theory of Boolean Algebras 6: Iterated Boolean Extensions, Matrin's Axiom, and Souslin's Hypothesis 7: Boolean-Valued Analysis 8: Intuitionistic Set Theory and Heyting-Algebra-Valued Models Appendix: Boolean and Heyting Algebra-Valued Models as Categories Historical Notes Bibliography Index of Symbols Index of TermsReviewsBell's presentation is lively and pleasent to read, and the material is given in a nicely cohesive way. Philosophia Mathmatica Author InformationJohn L. Bell is a member of the editorial boards of the journals Axiomathes and Philosophia Mathematica. he is Professor of Philosophy at the University of Western Ontario and a Fellow of the Royal Society of Canada. Tab Content 6Author Website:Countries AvailableAll regions |