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, AN EXPOSITION OF THE COMPACTNESS OF, A descriptive Main Gap Theorem, Souslin quasi-orders and bi-embeddability of uncountable structures, Sameness, Regularity properties on the generalized reals, GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC, Boolean valued semantics for infinitary logics, 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, Chain logic and Shelah's infinitary logic, Fake reflection, Default consequence relations from topology and measure theory, Isomorphic limit ultrapowers for infinitary logic, Games and Scott sentences for positive distances between metric structures, Model theory of monadic predicate logic with the infinity quantifier, Games for hybrid logic. From semantic games to analytic calculi, Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD, Closed maximality principles and generalized Baire spaces, Generalized Descriptive Set Theory and Classification Theory