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.
發表於2024-11-24
Building Models by Games 2024 pdf epub mobi 電子書 下載
圖書標籤: nemlophics TopologicalGame MathematicalLogic MathTopology Math GameTheory
Building Models by Games 2024 pdf epub mobi 電子書 下載