scientific article; zbMATH DE number 5853298

MaRDI QIDQ3078324zbMATH OpenFDO

Authors Jouko Väänänen

Publication date 18 February 2011

zbMATH Keywords

back-and-forth methodfinite model theoryfirst order logicgame-theoretic model-theoryinfinitary logicsMostowski-Lindström quantifiers

Mathematics Subject Classification ID

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) Applications of game theory (91A80)

Recommendations

• scientific article; zbMATH DE number 1086490
• Games in finite model theory
• On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
• An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
• Games and bisimulations for intuitionistic first-order Kripke models
• scientific article; zbMATH DE number 1059242
• Fraïssé–Hintikka theorem in institutions
• Games and Lindström theorems
• scientific article; zbMATH DE number 2051378

Cited in

(43)

• 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
• Games in finite model theory
• Generalized descriptive set theory and classification theory
• Intuitionistic games: determinacy, completeness, and normalization
• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• On Some Applications of Games for Härtig Quantifier
• Axiomatizing first-order consequences in dependence logic
• A game semantics for disjunctive logic programming
• Les va-ou-vient : Une généralisation des va-et-vient de Fraïssé
• scientific article; zbMATH DE number 536899 (Why is no real title available?)
• The infinite-valued semantics: overview, recent results and future directions
• Large cardinals and definable well-orders, without the GCH
• AN EXPOSITION OF THE COMPACTNESS OF
• A descriptive Main Gap Theorem
• Souslin quasi-orders and bi-embeddability of uncountable structures
• Fraïssé–Hintikka theorem in institutions
• A game semantics for system P
• Sameness
• The complexity of isomorphism for complete theories of linear orders with unary predicates
• scientific article; zbMATH DE number 5233436 (Why is no real title available?)
• Fixed-points for relations and the back and forth method
• GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
• Regularity properties on the generalized reals
• Boolean valued semantics for infinitary logics
• COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
• The strategic balance of games in logic
• Dimension in team semantics
• Logics of formal inconsistency and mathematical definability
• Modal equivalence, n-bisimulation and model comparison game for basic neighbourhood logic
• Game semantics for modal logic with counting
• Games for hybrid logic from semantic games to analytic calculi
• Completeness of infinitary heterogeneous logic
• The Boolean compactness theorem for \(\mathrm{L}_{\infty \infty}\)
• A representation theorem for languages with generalized quantifiers through back-and-forth methods

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3078324)