J. Hirschfeld, W. H. Wheeler

Forcing, Arithmetic, Division Rings

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 454
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07157-0
• 1975.
• Seitenzahl: 280
• Erscheinungstermin: 6. Juni 1975
• Englisch
• Abmessung: 235mm x 155mm x 16mm
• Gewicht: 452g
• ISBN-13: 9783540071570
• ISBN-10: 3540071571
• Artikelnr.: 23562101

Inhaltsangabe

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.