Homomorphism preservation theorems
From MaRDI portal
Recommendations
Cited in
(65)- Harmonious logic: Craig's interpolation theorem and its descendants
- From Hilbert's program to a logic tool box
- Preservation by homomorphisms and infinitary languages
- Relativised homomorphism preservation at the finite level
- A polynomial excluded-minor approximation of treedepth
- A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem
- A tetrachotomy of ontology-mediated queries with a covering axiom
- A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries
- Conjunctive query pattern structures: a relational database model for formal concept analysis
- Whither semantics?
- On nowhere dense graphs
- The price of query rewriting in ontology-based data access
- Graph partitions with prescribed patterns
- Certain answers as objects and knowledge
- Counting homomorphisms to sparse graphs
- An algebraic preservation theorem for aleph-zero categorical quantified constraint satisfaction
- On Datalog vs. LFP
- On preservation under homomorphisms and unions of conjunctive queries
- Constraint satisfaction, irredundant axiomatisability and continuous colouring
- A preservation theorem for ec-structures with applications
- Obstructions to partitions of chordal graphs
- scientific article; zbMATH DE number 2015640 (Why is no real title available?)
- Action of endomorphism semigroups on definable sets
- scientific article; zbMATH DE number 6866317 (Why is no real title available?)
- SOME MODEL THEORY OF GUARDED NEGATION
- An algebraic preservation theorem for _0-categorical quantified constraint satisfaction
- Guarded Ontology-Mediated Queries
- Structure and Power: an Emerging Landscape
- Schema mappings: a case of logical dynamics in database theory
- Quasi-equational bases for graphs of semigroups, monoids and groups.
- Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics
- Extension preservation theorems on classes of acyclic finite structures
- On the complexity of existential positive queries
- Tree-Depth and the Formula Complexity of Subgraph Isomorphism
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA
- Arboreal categories and equi-resource homomorphism preservation theorems
- Positive First-order Logic on Words and Graphs
- Arboreal Categories: An Axiomatic Theory of Resources
- A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
- A logic-based framework for characterizing nexus of similarity within knowledge bases
- Forbidden induced subgraphs and the Łoś-Tarski theorem
- On the descriptive complexity of temporal constraint satisfaction problems
- Constraint satisfaction, graph isomorphism, and the pebbling comonad
- Preservation theorems for Tarski's relation algebra
- When locality meets preservation
- Linear arboreal categories
- Preservation theorems through the Lens of topology
- Extension preservation in the finite and prefix classes of first-order logic
- Promise and infinite-domain constraint satisfaction
- When do homomorphism counts help in query algorithms?
- Compact query rewritings for ontology-based query answering
- Explanations for query answers under existential rules
- Symmetric linear arc monadic Datalog and gadget reductions
- Preservation theorems on sparse classes revisited
- On counting (quantum-)graph homomorphisms in finite fields of prime order
- Arboreal categories and resources
- Equi-rank homomorphism preservation theorem on finite structures
- Extension preservation on dense graph classes
- Datalog-expressibility for monadic and guarded second-order logic
- Homomorphism preservation theorems for many-valued structures
- Symmetric linear arc monadic Datalog and gadget reductions
- In praise of homomorphisms
- On low tree-depth decompositions
- A generalization of the Łoś-Tarski preservation theorem
- Homomorphism preservation on quasi-wide classes
This page was built for publication: Homomorphism preservation theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3546368)
