書誌事項

Forcing, arithmetic, division rings

Joram Hirschfeld, William H. Wheeler

(Lecture notes in mathematics, 454)

Springer-Verlag, 1975

  • : Germany
  • : U.S.

大学図書館所蔵 件 / 72

この図書・雑誌をさがす

注記

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」 より

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

詳細情報

ページトップへ