Set theory : Boolean-valued models and independence proofs

著者

• Bell, J. L. (John Lane)

書誌事項

Set theory : Boolean-valued models and independence proofs

John L. Bell

（Oxford logic guides, 47）

Clarendon Press, 2005

3rd ed

注記

Bibliography: p. [184]-187

Includes indexes

内容説明・目次

内容説明

This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century--the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory, and includes recent developments in the field. Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory.

目次

• Foreword
• Preface
• List of Problems
• 0. Boolean and Heyting Algebras: The Essentials
• 1. Boolean-Valued Models: First Steps
• 2. Forcing and Some Independece 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, Martin'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 Terms

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA72736960
• ISBN:
  • 9780198568520
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Oxford
• ページ数/冊数: xxii, 191 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA248
  • DC19 : 511.3/2
• 親書誌ID:
  • BA00017765