Forcing, arithmetic, division rings
Author(s)
Bibliographic Information
Forcing, arithmetic, division rings
(Lecture notes in mathematics, 454)
Springer-Verlag, 1975
- : Germany
- : U.S.
Available at / 72 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||4542142319
-
University of Toyama Library, Central Library図
: Germany410.7||L49||45490079432,90079433,90080657
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Germany510/L4972020886020
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [253]-259
Includes index
Description and Table of Contents
Table of Contents
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.
by "Nielsen BookData"