This is Real Life Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Lists | March 13, 2015

    Hanya Yanagihara: IMG Nine Tips for Finishing That Novel



    My second novel, A Little Life — about a group of men in New York and their friendship over the course of 30 years — will be published... Continue »
    1. $21.00 Sale Hardcover add to wish list

      A Little Life

      Hanya Yanagihara 9780385539258

    spacer
Qualifying orders ship free.
$18.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Remote Warehouse Mathematics- Modeling

This title in other editions

Building Models by Games:

by

Building Models by Games: Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

This volume introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory. It covers basic model theory and examines a variety of algebraic applications, including completeness for Magidor-Malitz quantifiers, Shelah's recent and sophisticated omitting types theorem for L(Q), and applications to Boolean algebras. Over 160 exercises. 1985 edition.

Table of Contents

1. Preliminaries

2. Games and Forcing

3. Existential Closure

4. Chaos or Regimentation

5. Classical Languages

6. Proper Extensions

7. Generalised Quantifiers

8. L(Q) in Higher Cardinalities

List of types of forcing

List of open questions

Bibiliography

Index

Product Details

ISBN:
9780486450179
Author:
Hodges, Wilfrid
Publisher:
Dover Publications
Author:
Mathematics
Subject:
Logic
Subject:
Game Theory
Subject:
Model theory
Subject:
Mathematics-Modeling
Edition Description:
Trade Paper
Series:
Dover Books on Mathematics
Publication Date:
20060431
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
336
Dimensions:
9.25 x 6.13 in 0.93 lb

Related Subjects


Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Geometry » Algebraic Geometry
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Modeling

Building Models by Games: New Trade Paper
0 stars - 0 reviews
$18.95 In Stock
Product details 336 pages Dover Publications - English 9780486450179 Reviews:
"Synopsis" by ,
This volume introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory. It covers basic model theory and examines a variety of algebraic applications, including completeness for Magidor-Malitz quantifiers, Shelah's recent and sophisticated omitting types theorem for L(Q), and applications to Boolean algebras. Over 160 exercises. 1985 edition.

spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.