LAUSR.org creates dashboard-style pages of related content for over 1.5 million academic articles. Sign Up to like articles & get recommendations!

Definability in the Embeddability Ordering of Finite Directed Graphs, II

Photo by djuls from unsplash

We deal with first-order definability in the embeddability ordering (D;≤)$(\mathscr{D}; \leq )$ of finite directed graphs. A directed graph G∈D$G\in \mathscr{D}$ is said to be embeddable into G′∈D$G^{\prime } \in… Click to show full abstract

We deal with first-order definability in the embeddability ordering (D;≤)$(\mathscr{D}; \leq )$ of finite directed graphs. A directed graph G∈D$G\in \mathscr{D}$ is said to be embeddable into G′∈D$G^{\prime } \in \mathscr{D}$ if there exists an injective graph homomorphism φ:G→G′$\varphi \colon G \to G^{\prime }$. We describe the first-order definable relations of (D;≤)$(\mathscr{D}; \leq )$ using the first-order language of an enriched small category of digraphs. The description yields the main result of the author’s paper (Kunos, Order 32(1):117–133, 2015) as a corrolary and a lot more. For example, the set of weakly connected digraphs turns out to be first-order definable in (D;≤)$(\mathscr{D}; \leq )$. Moreover, if we allow the usage of a constant, a particular digraph A, in our first-order formulas, then the full second-order language of digraphs becomes available.

Keywords: order; first order; definability embeddability; finite directed; embeddability ordering; directed graphs

Journal Title: Order
Year Published: 2019

Link to full text (if available)


Share on Social Media:                               Sign Up to like & get
recommendations!

Related content

More Information              News              Social Media              Video              Recommended



                Click one of the above tabs to view related content.