Synopsis
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.
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.
"synopsis" may belong to another edition of this title.
Search results for Building Models by Games (Dover Books on Mathema 1.4tics)
Stock Image
Building Models by Games (Dover Books on Mathematics)
Seller: HPB-Diamond, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_457976827
Stock Image
Building Models by Games (Dover Books on Mathematics)
Seller: Riverby Books (DC Inventory), Fredericksburg, VA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Softcover bound in glossy pictorial paper. Mild edge wear to covers and crown and foot of spine. Binding is tight and secure. Pages are crisp, clean, and bright. Dover Publications. No date on title page. Copyright dated 1985. Stated 2006 edition. 318 pages. A good copy. We ship everyday from a real neighborhood bookstore. This description is written by an actual person, who is holding the book in front of them to make sure it?s properly described. Please contact us with questions or if you would like to see photographs. Seller Inventory # F-13066
Stock Image
Building Models by Games (Dover Books on Mathematics)
Seller: YESIBOOKSTORE, MIAMI, FL, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: As New. Seller Inventory # 0486450171-VB
Stock Image
Building Models by Games (Dover Books on Mathematics)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 6K88_95_0486450171