scientific article; zbMATH DE number 3115890
From MaRDI portal
Publication:3230355
zbMATH Open0068.24302MaRDI QIDQ3230355FDOQ3230355
Authors: Roland Fraïssé 
Publication date: 1955
Title of this publication is not available (Why is that?)
Cited In (60)
- Generalized implicit definitions on finite structures
- 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
- Count-free Weisfeiler-Leman and group isomorphism
- 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
- GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
- Logic and Game Theory
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
- Infinitary logics and 0-1 laws
- The closure of monadic NP
- Properties of existentially closed companions
- Inherent complexity of recursive queries
- Local properties of query languages
- The universal Banach space with a $K$-suppression unconditional basis
- 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
- 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
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
- Invariance under stuttering in a temporal logic of actions
- On winning strategies in Ehrenfeucht-Fraïssé games
- Hanf numbers for extendibility and related phenomena
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
- Metrically universal abelian groups
- A Practical Approach to Courcelle's Theorem
- Structure and Power: an Emerging Landscape
- A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes
- Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
- Title not available (Why is that?)
- Computing branching distances with quantitative games
- Title not available (Why is that?)
- On winning Ehrenfeucht games and monadic NP
- The primal framework. II: Smoothness
- Strongly minimal Steiner systems. II: Coordinatization and quasigroups
- A unified approach to structural limits and limits of graphs with bounded tree-depth
- 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
- Title not available (Why is that?)
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
- 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
- An infinitary system for the least fixed-point logic restricted to finite models
- Ramsey properties for classes of relational systems
- Automatic models of first order theories
- Solutions and query rewriting in data exchange
- Forcing formulas in Fraïssé structures and classes
- An undecidable linear order that is \(n\)-decidable for all \(n\)
- Graph connectivity, monadic NP and built-in relations of moderate degree
- Finite information logic
- Cohen-like first order structures
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)
