Forcing, arithmetic, division rings

著者

• Hirschfeld, Joram
• Wheeler, William H.

書誌事項

Forcing, arithmetic, division rings

Joram Hirschfeld, William H. Wheeler

（Lecture notes in mathematics, 454）

Springer-Verlag, 1975

• : Germany
• : U.S.

注記

Bibliography: p. [253]-259

Includes index

内容説明・目次

目次

Existentially complete structures and existentially universal structures.- Model-completions and model-companions.- Infinite forcing in model theory.- Approximating chains for .- Finite forcing in model theory.- Axiomatizations.- Forcing and recursion theory.- Existentially complete models.- Simple models and R.E. ultrapowers.- Regular models.- Regular models and second order models for arithmetic.- Generic models and the analytic hierarchy.- Applications to complete extensions of peano's arithmetic.- Existentially complete division rings.- Nullstellensatz.- Classes of existentially complete division algebras.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA06716075
• ISBN:
  • 3540071571
  • 0387071571
• LCCN: 75012981
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: vii, 266 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA3
  • LCC : QA9.7
  • DC : 510/.8
  • DC : 511/.8
• 件名:
  • LCSH : Forcing (Model theory)
  • LCSH : Model theory
  • LCSH : Division rings
• 親書誌ID:
  • BA00146586