Axiomatic theory of betweenness

DOI10.1007/s00153-020-00744-5zbMath1496.03033arXiv1902.00847OpenAlexW3042413951MaRDI QIDQ2219098

Sanaz Azimipour, Pavel Naumov

Publication date: 19 January 2021

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

betweennesscompleteness theoremaxiomatization

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Topological nonlinear incidence structures (51H15)

Related Items (1)

Helly-type theorems for the ordering of the vertices of a hypergraph

Cites Work

• Unnamed Item
• Hypergraphs of multiparty secrets
• Logic of secrets in collaboration networks
• Betweenness, orders and interval graphs
• Road systems and betweenness

This page was built for publication: Axiomatic theory of betweenness