Forcing, arithmetic, division rings
著者
書誌事項
Forcing, arithmetic, division rings
（Lecture notes in mathematics, 454）
Springer-Verlag, [2006]
[Reproduction]
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Originally published 1975
Publisher's information: http://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=454
Bibliography: p. [253]-259
内容説明・目次
目次
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」 より