Abstract:The ternary relation $B(x,y,z)$ of betweenness states that an element $y$ is between the elements $x$ and $z$, in some sense depending on the considered structure. In a partially ordered set $(N,\leq)$, $B(x,y,z):\Longleftrightarrow x<y<z\vee z<y<x$. The corresponding betweenness structure is $(N,B)$. The class of betweenness structures of linear orders is first-order definable. That of partial orders is monadic second-order definable. An order-theoretic tree is a partial order such that the set of elements larger that any element is linearly ordered and any two elements have an upper-bound. Finite or infinite rooted trees ordered by the ancestor relation are order-theoretic trees. In an order-theoretic tree, we define $B(x,y,z)$ to mean that $x<y<z$ or $z<y<x$ or $x<y\leq x\sqcup z$ or $z<y\leq x\sqcup z$ provided the least upper-bound $x\sqcup z$ of $x$ and $z$ is defined when $x$ and $z$ are incomparable. In a previous article, we established that the corresponding class of betweenness structures is monadic second-order <a class="link-external link-http" href="http://definable.We" rel="external noopener nofollow">this http URL</a> prove here that the induced substructures of the betweenness structures of the countable order-theoretic trees form a monadic second-order definable class, denoted by IBO. The proof uses a variant of cographs, the partitioned probe cographs, and their known six finite minimal excluded induced subgraphs called the bounds of the class. This proof links two apparently unrelated topics: cographs and order-theoretic <a class="link-external link-http" href="http://trees.However" rel="external noopener nofollow">this http URL</a>, the class IBO has finitely many bounds, i.e., minimal excluded finite induced substructures. Hence it is first-order definable. The proof of finiteness uses well-quasi-orders and does not provide the finite list of bounds. Hence, the associated first-order defining sentence is not known.

On first-order transductions of classes of graphs

Rank-decreasing transductions

Monadic transductions and definable classes of matroids

Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.

On the Ordered Conjecture

Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond

First-Order Logic Axiomatization of Metric Graph Theory

Quotient toposes of discrete dynamical systems

Transformations Into Normal Forms For Quantified Circuits

Tree-depth, quantifier elimination, and quantifier rank.

A generic characterization of generalized unary temporal logic and two-variable first-order logic

Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification

About the Expressive Power and Complexity of Order-Invariance with Two Variables

First order complexity of finite random structures

The descriptive complexity approach to LOGCFL

The structure of quasi-transitive graphs avoiding a minor with applications to the domino problem

Deciding Regular Grammar Logics with Converse Through First-Order Logic

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

Induced betweenness in order-theoretic trees

Generalized quasiorders and the Galois connection –

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes