Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (Q4650305)
From MaRDI portal
scientific article; zbMATH DE number 2133252
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures |
scientific article; zbMATH DE number 2133252 |
Statements
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (English)
0 references
9 February 2005
0 references
guarded logics
0 references
extension property for partial isomorphisms
0 references
conformal covers for finite hypergraphs
0 references
finite model theory of relational structures
0 references
Gaifman cliques
0 references
finite model property
0 references
0 references
