Cores and compactness of infinite directed graphs
We define the property of homomorphic compactness for digraphs. We prove that if a digraph \(H\) is homomorphically compact then \(H\) has a core, although the converse does not hold. We also examine a weakened compactness condition and show that when this condition is assumed, compactness is equivalent to containing a core. We use this result to prove that if a digraph \(H\) of size \(\kappa\) is not compact, then there is a digraph \(G\) of size at most \(\kappa^+\) such that \(H\) is not compact with respect to \(G\). We then give examples of some sufficient conditions for compactness.
- Compactness and finite equivalence of infinite digraphs
- Homomorphisms and amalgamation
- Core-like properties of infinite graphs and structures
- The quest for a characterization of hom-properties of finite character
- Graph cores via universal completability
- Preserving constraints with the stable chase
- On random digraphs and cores
- List-compactness of infinite directed graphs
- SHACL validation in the presence of ontologies: semantics and rewriting techniques
- Maximal digraphs with respect to primitive positive constructability
This page was built for publication: Cores and compactness of infinite directed graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1125952)