Betweenness of partial orders

DOI10.1051/ita/2020007zbMath1484.03050arXiv2004.09777OpenAlexW3111539391MaRDI QIDQ5021103

No author found.

Publication date: 12 January 2022

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.09777

zbMATH Keywords

monadic second-order logiccomparability graphbetweennesspartial orderaxiomatization

Mathematics Subject Classification ID

Partial orders, general (06A06) Model theory of finite structures (03C13) Model theory of denumerable and separable structures (03C15) Higher-order logic (03B16)

Related Items (2)

Induced betweenness in order-theoretic trees ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Several notions of rank-width for countable graphs
• Classifying regular events in symbolic logic
• Betweenness in graphs: a short survey on shortest and induced path betweenness
• The monadic second-order logic of graphs. XV: On a conjecture by D. Seese
• Antimatroids, Betweenness, Convexity
• Coloring Ordered Sets to Avoid Monochromatic Maximal Chains
• Betweenness in Order-Theoretic Trees

This page was built for publication: Betweenness of partial orders