Forcing, Arithmetic, Division Rings

Dr. Joram Hirschfeld, Dr. William H. Wheeler (auth.)9780387071572, 0387071571

Table of contents :
Introduction….Pages 1-10
Existentially complete structures and existentially universal structures….Pages 15-43
Model-completions and model-companions….Pages 44-54
Infinite forcing in model theory….Pages 55-75
Approximating chains for ….Pages 76-85
Finite forcing in model theory….Pages 86-110
Axiomatizations….Pages 111-116
Forcing and recursion theory….Pages 117-136
Existentially complete models….Pages 141-154
Simple models and R.E. ultrapowers….Pages 155-159
Regular models….Pages 160-167
Regular models and second order models for arithmetic….Pages 168-178
Generic models and the analytic hierarchy….Pages 179-186
Applications to complete extensions of peano’s arithmetic….Pages 187-189
Existentially complete division rings….Pages 198-222
Nullstellensatz….Pages 223-231
Classes of existentially complete division algebras….Pages 232-252