Building Models by Games (Dover Books on Mathema 1.4tics) - Softcover

Hodges, Wilfrid

Softcover

ISBN 10: 0486450171 ISBN 13: 9780486450179

Verlag: Dover Publications Inc., 2006

Inhaltsangabe

This volume presents research by algebraists and model theorists in accessible form for advanced undergraduates or beginning graduate students studying algebra, logic, or model theory. It introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory. A multi-step procedure, the method resembles a two-player game that continues indefinitely. This approach simplifies, motivates, and unifies a wide range of constructions.
Starting with an overview of basic model theory, the text examines a variety of algebraic applications, with detailed analyses of existentially closed groups of class 2. It describes the classical model-theoretic form of this method of construction, which is known as "omitting types," "forcing," or the "Henkin-Orey theorem," The final chapters are more specialized, discussing how the idea can be used to build uncountable structures. Applications include completeness for Magidor-Malitz quantifiers, Shelah's recent and sophisticated omitting types theorem for L(Q), and applications to Boolean algebras and models of arithmetic. More than 160 exercises range from elementary drills to research-related items, with further information and examples.

Details zur Ausgabe

• Verlag: Dover Publications Inc.
• Erscheinungsdatum: 2006
• Sprache: Englisch
• ISBN 10: 0486450171
• ISBN 13: 9780486450179
• Einband: Taschenbuch
• Anzahl der Seiten: 311
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Soc. Agr. La Raia Ss; http://www.la-raia.it; ; Strada Monterotondo, 79; Novi Ligure; 15067; Italien