Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures

DOI10.2178/BSL/1058448678MaRDI QIDQ4650305zbMATH OpenOpenAlexFDO

Authors Martin Otto, Ian Hodkinson

Publication date 9 February 2005

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bsl/1058448678, https://semanticscholar.org/paper/48ccb228470d5fdb353ed4eb6d4a278c093736aa

zbMATH Keywords

finite model propertyconformal covers for finite hypergraphsextension property for partial isomorphismsfinite model theory of relational structuresGaifman cliquesguarded logics

Mathematics Subject Classification ID

Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.) (05C69) Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Hypergraphs (05C65) Logic in computer science (03B70)

Recommendations

• Highly acyclic groups, hypergraph covers, and the guarded fragment
• Groupoids, hypergraphs, and symmetries in finite models
• Bisimulation and coverings for graphs and hypergraphs
• On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards
• Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants

Cites work

• Extending partial automorphisms and the profinite topology on free groups
• Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures
• Extending partial isomorphisms of graphs
• Extending partial isomorphisms on finite structures
• Loosely guarded fragment of first-order logic has the finite model property
• Modal languages and bounded fragments of predicate logic
• On the Desirability of Acyclic Database Schemes
• On the Restraining Power of Guards
• Tolerance logic

Cited in

(18)

• A survey of homogeneous structures
• Highly acyclic groups, hypergraph covers, and the guarded fragment
• All those EPPA classes (strengthenings of the Herwig-Lascar theorem)
• Extending partial isometries of antipodal graphs
• EPPA for two-graphs and antipodal metric spaces
• Ramsey properties and extending partial automorphisms for classes of finite structures
• Complexity of monodic guarded fragments over linear and real time
• Coherent extension of partial automorphisms, free amalgamation and automorphism groups
• The profinite topology of free groups and weakly generic tuples of automorphisms
• A new analysis of quasianalysis
• Extending partial automorphisms of \(n\)-partite tournaments
• Modal and guarded characterisation theorems over finite transition systems
• Groupoids, hypergraphs, and symmetries in finite models
• The Hrushovski property for hypertournaments and profinite topologies
• A combinatorial proof of the extension property for partial isometries
• EPPA numbers of graphs
• On the automorphism group of homogeneous structures
• The Hrushovski property for compact special cube complexes

This page was built for publication: Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures

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