 | ||||||||||||||||
| ||||||||||||||||
by Wilfrid Hodges
|
ISBN: 0486450171 Dover Publications Price: $18.95 |
click here to see this book |
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.
Slightly corrected republication of the edition published by Cambridge University Press, Cambridge, 1985.
Table of Contents for Building Models by Games
| 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 |