Publication:3078324
From MaRDI portal
zbMath1233.03001MaRDI QIDQ3078324
Publication date: 18 February 2011
finite model theory; first order logic; infinitary logics; back-and-forth method; game-theoretic model-theory; Mostowski-Lindström quantifiers
91A80: Applications of game theory
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03Cxx: Model theory
Related Items
The infinite-valued semantics: overview, recent results and future directions, Regularity properties on the generalized reals, Intuitionistic games: determinacy, completeness, and normalization, Axiomatizing first-order consequences in dependence logic, A game semantics for disjunctive logic programming, Large cardinals and definable well-orders, without the GCH, A game semantics for system P, The complexity of isomorphism for complete theories of linear orders with unary predicates, Scott ranks of models of a theory, Generalized Descriptive Set Theory and Classification Theory