scientific article
From MaRDI portal
Publication:3078324
zbMath1233.03001MaRDI QIDQ3078324
Publication date: 18 February 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite model theoryfirst order logicinfinitary logicsback-and-forth methodgame-theoretic model-theoryMostowski-Lindström quantifiers
Applications of game theory (91A80) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx)
Related Items (26)
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ 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 ⋮ Scott ranks of models of a theory ⋮ Intuitionistic games: determinacy, completeness, and normalization ⋮ The infinite-valued semantics: overview, recent results and future directions ⋮ Axiomatizing first-order consequences in dependence logic ⋮ A game semantics for disjunctive logic programming ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Boolean valued semantics for infinitary logics ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ 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 ⋮ Regularity properties on the generalized reals ⋮ Sameness ⋮ Generalized Descriptive Set Theory and Classification Theory ⋮ Chain logic and Shelah's infinitary logic ⋮ Fake reflection ⋮ AN EXPOSITION OF THE COMPACTNESS OF ⋮ Closed maximality principles and generalized Baire spaces ⋮ A descriptive Main Gap Theorem
This page was built for publication:
