HIGHLIGHTS
- who: DMTCS, vol. and LaBRI, from the CNRS, Bordeaux University, France have published the Article: Induced betweenness in order-theoretic trees, in the Journal: (JOURNAL)
SUMMARY
In a partially ordered set (N, ≤), B(x, y, z):⇐⇒ x and amp;lt; y and amp;lt; z ∨ z and amp;lt; y and amp;lt; x. The class of betweenness structures of linear orders is first-order definable, i.e., is axiomatized by a single first-order sentence; that of partial orders is monadic second-order definable. The authors conjectured that the class IBO of . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.