Source author record

Lucy Ham

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.LO Computational Complexity Discrete Mathematics Logic in Computer Science

Catalog footprint

Research overview

2works

5topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2017arXiv

Axiomatisability and hardness for universal Horn classes of hypergraphs

We characterise finite axiomatisability and intractability of deciding membership for universal Horn classes generated by finite loop-free hypergraphs.

preprint2015arXiv

Relativised homomorphism preservation at the finite level

In this article, we investigate the status of the homomorphism preservation property amongst restricted classes of finite relational structures and algebraic structures. We show that there are many homomorphism-closed classes of finite lattices that are definable by a first-order sentence but not by existential positive sentences, demonstrating the failure of the homomorphism preservation property for lattices at the finite level. In contrast to the negative results for algebras, we establish a finite-level relativised homomorphism preservation theorem in the relational case. More specifically, we give a complete finite-level characterisation of first-order definable finitely generated anti-varieties relative to classes of relational structures definable by sentences of some general forms. When relativisation is dropped, this gives a fresh proof of Atserias's characterisation of first-order definable constraint satisfaction problems over a fixed template, a well known special case of Rossman's Finite Homomorphism Preservation Theorem.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.