pith. the verified trust layer for science. sign in

arxiv: 1812.01934 · v2 · pith:ZAVT3W6Dnew · submitted 2018-12-05 · 🧮 math.LO · math.CO

Two Fra\"iss\'e-style theorems for homomorphism-homogeneous relational structures

classification 🧮 math.LO math.CO
keywords homomorphism-homogeneousresultscasecasesclassifiedcompletelycountablecover
0
0 comments X
read the original abstract

In this paper, we state and prove two Fra\"{i}ss\'{e}-style results that cover existence and uniqueness properties for twelve of the eighteen different notions of homomorphism-homogeneity as introduced by Lockett and Truss, and provide forward directions and implications for the remaining six cases. Following these results, we completely determine the extent to which the countable homogeneous undirected graphs (as classified by Lachlan and Woodrow) are homomorphism-homogeneous; we also provide some insight into the directed graph case.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.