Games in finite model theory
From MaRDI portal
Publication:2721286
zbMATH Open0965.03045MaRDI QIDQ2721286
Fernando R. Martínez Ortiz, Favio E. Miranda Perea
Publication date: 1 July 2001
Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)
Related Items (11)
Generalized quantifiers and pebble games on finite structures ⋮ Small model property reflects in games and automata ⋮ Title not available (Why is that?) ⋮ A relation-algebraic approach to simple games ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Ehrenfeucht-Fraïssé games in finite set theory ⋮ Finite high-order games and an inductive approach towards Gowers's dichotomy ⋮ Definable sets of real numbers, infinite games and core model theory ⋮ Title not available (Why is that?) ⋮ Finite games for a predicate logic without contractions
This page was built for publication: Games in finite model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721286)