書誌事項

An introduction to independence for analysts

H.G. Dales, W.H. Woodin

(London Mathematical Society lecture note series, 115)

Cambridge University Press, 1987

大学図書館所蔵 件 / 57

この図書・雑誌をさがす

注記

Bibliography: p. 229-234

Includes indexes

内容説明・目次

内容説明

Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. This book explains clearly, to non-logicians, the technique of forcing and its connection with independence, and gives a full proof that a naturally arising and deep question of analysis is independent of ZFC. It provides an accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.

目次

  • 1. Homomorphisms from algebras of continuous functions
  • 2. Partial orders, Boolean algebras, and ultraproducts
  • 3. Woodin's condition
  • 4. Independence in set theory
  • 5. Martin's Axiom
  • 6. Gaps in ordered sets
  • 7. Forcing
  • 8. Iterated Forcing.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ