Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures

DOI10.2178/bsl/1058448678zbMath1058.03031OpenAlexW2165966638MaRDI QIDQ4650305

Martin Otto, I. M. Hodkinson

Publication date: 9 February 2005

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

Full work available at URL: https://projecteuclid.org/euclid.bsl/1058448678

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (13)

All those EPPA classes (strengthenings of the Herwig–Lascar theorem) ⋮ Modal and guarded characterisation theorems over finite transition systems ⋮ A new analysis of quasianalysis ⋮ The profinite topology of free groups and weakly generic tuples of automorphisms ⋮ COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS ⋮ Ramsey properties and extending partial automorphisms forhbox classes of finite structures ⋮ A survey of homogeneous structures ⋮ Extending partial isometries of antipodal graphs ⋮ The Hrushovski property for hypertournaments and profinite topologies ⋮ EPPA for two-graphs and antipodal metric spaces ⋮ A combinatorial proof of the extension property for partial isometries ⋮ Complexity of monodic guarded fragments over linear and real time ⋮ On the automorphism group of homogeneous structures

Cites Work

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

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