Relativised homomorphism preservation at the finite level

DOI10.1007/s11225-017-9710-7zbMath1417.03227arXiv1510.05354OpenAlexW2963028629MaRDI QIDQ1680516

Lucy Ham

Publication date: 16 November 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.05354

zbMATH Keywords

latticerelational structureconstraint satisfaction problemantivarietyhomomorphism preservation

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Model theory of finite structures (03C13) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Interpolation, preservation, definability (03C40)

Related Items

On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constraint satisfaction, irredundant axiomatisability and continuous colouring
• Elements of finite model theory.
• The axiomatizability of topological prevarieties
• On digraph coloring problems and treewidth duality
• A counterexample to a conjecture of Scott and Suppes
• Preservation under Extensions on Well-Behaved Finite Structures
• On preservation under homomorphisms and unions of conjunctive queries
• Homomorphism preservation theorems
• Monotone versus positive
• The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
• A Characterisation of First-Order Constraint Satisfaction Problems