Forcing, Arithmetic, Division Rings

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.

Sommario

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.

Dettagli sul prodotto

• Autori: J. Hirschfeld, W. H. Wheeler, W.H. Wheeler
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 25.06.2009
• EAN: 9783540071570
• ISBN: 978-3-540-07157-0
• Pagine: 266
• Dimensioni: 157 mm x 238 mm x 16 mm
• Peso: 452 g
• Illustrazioni: VII, 266 p.
• Serie: Lecture Notes in Mathematics; Lecture Notes in Mathematics
• Categoria: Scienze naturali, medicina, informatica, tecnica > Matematica > Altro