Axiomatization and Undecidability Results for Metrizable Betweeness Relations

DOI10.2307/2160813zbMath0818.03002OpenAlexW4231312755WikidataQ106095082 ScholiaQ106095082MaRDI QIDQ4327668

Robert Mendris, Pavol Zlatoš

Publication date: 10 April 1995

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2160813

zbMATH Keywords

elementary classaxiomatizabilitybetweenness relationfirst-order theory of metrizable betweenness spacesuniversal Horn axioms

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Ordered geometries (ordered incidence structures, etc.) (51G05) Properties of classes of models (03C52)

Related Items (6)

Unnamed Item ⋮ On subbetweennesses of trees: hardness, algorithms, and characterizations ⋮ On setwise betweenness ⋮ Unnamed Item ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Pretrees and the shadow topology

This page was built for publication: Axiomatization and Undecidability Results for Metrizable Betweeness Relations