{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:53:24Z","timestamp":1772369604664,"version":"3.50.1"},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":3789,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2003,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We provide a canonical construction of conformal covers for finite hypergraphs and present two immediate applications to the finite model theory of relational structures. In the setting of relational structures, conformal covers serve to construct guarded bisimilar companion structures that avoid all incidental Gaifman cliques\u2014thus serving as a partial analogue in finite model theory for the usually infinite guarded unravellings. In hypergraph theoretic terms, we show that every finite hypergraph admits a bisimilar cover by a finite conformal hypergraph. In terms of relational structures, we show that every finite relational structure admits a guarded bisimilar cover by a finite structure whose Gaifman cliques are guarded. One of our applications answers an open question about a clique constrained strengthening of the extension property for partial automorphisms (EPPA) of Hrushovski, Herwig and Lascar. A second application provides an alternative proof of the finite model property (FMP) for the clique guarded fragment of first-order logic CGF, by reducing (finite) satisfiability in CGF to (finite) satisfiability in the guarded fragment, GF.<\/jats:p>","DOI":"10.2178\/bsl\/1058448678","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T20:39:56Z","timestamp":1109795996000},"page":"387-405","source":"Crossref","is-referenced-by-count":34,"title":["Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures"],"prefix":"10.1017","volume":"9","author":[{"given":"Ian","family":"Hodkinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Otto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600004431_ref003","volume-title":"Graphs and hypergraphs","author":"Berge","year":"1973"},{"key":"S1079898600004431_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/BF01305233"},{"key":"S1079898600004431_ref013","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-99-02374-0"},{"key":"S1079898600004431_ref017","volume-title":"Technical Report LP-97-01","author":"van Benthem","year":"1997"},{"key":"S1079898600004431_ref006","doi-asserted-by":"publisher","DOI":"10.1145\/382780.382783"},{"key":"S1079898600004431_ref014","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015178417181"},{"key":"S1079898600004431_ref008","first-page":"31","volume-title":"Proceedings of 16th international conference on automated deduction, CADE 16, 1999","volume":"1632","author":"Gr\u00e4del","year":"1999"},{"key":"S1079898600004431_ref016","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011207512025"},{"key":"S1079898600004431_ref004","volume-title":"Graph theory","author":"Diestel","year":"2000"},{"key":"S1079898600004431_ref001","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"S1079898600004431_ref005","volume-title":"Finite model theory","author":"Ebbinghaus","year":"1995"},{"key":"S1079898600004431_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/BF02764005"},{"key":"S1079898600004431_ref002","doi-asserted-by":"publisher","DOI":"10.1145\/2402.322389"},{"key":"S1079898600004431_ref007","volume-title":"JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday","author":"Gr\u00e4del","year":"1999"},{"key":"S1079898600004431_ref009","doi-asserted-by":"publisher","DOI":"10.2307\/2586808"},{"key":"S1079898600004431_ref010","first-page":"418","article-title":"Back and forth between guarded and modal logics","volume":"3","author":"Gr\u00e4del","year":"2002","journal-title":"Association for Computing Machinery Transactions on Computational Logic"},{"key":"S1079898600004431_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BF01299742"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600004431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T22:41:14Z","timestamp":1557182474000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600004431\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1079898600004431"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1058448678","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}