scientific article; zbMATH DE number 3115890

Cited in

(60)

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

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)