Forcing, Arithmetic, Division Rings: 454 - Brossura

Hirschfeld, Joram

 
9783540071570: Forcing, Arithmetic, Division Rings: 454

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780387071572: Forcing, Arithmetic, Division Rings

Edizione in evidenza

ISBN 10:  0387071571 ISBN 13:  9780387071572
Brossura