scientific article; zbMATH DE number 3115890

Cited in

(60)

Count-free Weisfeiler-Leman and group isomorphism
The modal logics of the poison game
An inverse Fraïssé limit for finite posets and duality for posets and lattices
First-order logic axiomatization of metric graph theory
Arboreal categories and equi-resource homomorphism preservation theorems
Generalized implicit definitions on finite structures
scientific article; zbMATH DE number 3148408 (Why is no real title available?)
An infinitary system for the least fixed-point logic restricted to finite models
Metrically universal abelian groups
The universal Banach space with a $K$-suppression unconditional basis
Hanf numbers for extendibility and related phenomena
On winning Ehrenfeucht games and monadic NP
Countable infinite existentially closed models of universally axiomatizable theories
An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
Succinct definitions in the first order theory of graphs
The closure of monadic NP
The Ehrenfeucht-Fraïssé method and the planted clique conjecture
An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
Counting quantifiers, successor relations, and logarithmic space
Ramsey properties for classes of relational systems
Universal decomposed Banach spaces
Logic and Game Theory
One unary function says less than two in existential second order logic
Generalized hex and logical characterizations of polynomial space
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
A Practical Approach to Courcelle's Theorem
Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
Properties of existentially closed companions
The quantitative linear-time-branching-time spectrum
An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
Decomposable graphs and definitions with no quantifier alternation
Isometric uniqueness of a complementably universal Banach space for Schauder decompositions
An undecidable linear order that is $n$-decidable for all $n$
Structure and Power: an Emerging Landscape
Invariance under stuttering in a temporal logic of actions
Comparing the power of monadic NP games
Strongly minimal Steiner systems. II: Coordinatization and quasigroups
Automatic models of first order theories
Computing branching distances with quantitative games
Solutions and query rewriting in data exchange
A unified approach to structural limits and limits of graphs with bounded tree-depth
Computational complexity of determining which statements about causality hold in different space-time models
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes
Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile
Finite information logic
Graph connectivity, monadic NP and built-in relations of moderate degree
The primal framework. II: Smoothness
Inherent complexity of recursive queries
Cohen-like first order structures
The first order definability of graphs with separators via the Ehrenfeucht game
Forcing formulas in Fraïssé structures and classes
On winning strategies in Ehrenfeucht-Fraïssé games
The probability nesting game
Local properties of query languages
Infinitary logics and 0-1 laws
Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
scientific article; zbMATH DE number 7561314 (Why is no real title available?)
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
scientific article; zbMATH DE number 7407779 (Why is no real title available?)

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 Q3230355)