Axiomatization and Undecidability Results for Metrizable Betweeness Relations

DOI10.2307/2160813MaRDI QIDQ4327668zbMATH OpenOpenAlexWikidataFDO

Authors 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

axiomatizabilitybetweenness relationelementary classfirst-order theory of metrizable betweenness spacesuniversal Horn axioms

Mathematics Subject Classification ID

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

Recommendations

• Metrizable and $\mathbb {R}$-metrizable betweenness spaces
• Some new results on decidability for elementary algebra and geometry
• scientific article; zbMATH DE number 1154174
• Sylvester-Gallai theorem and metric betweenness
• Axiomatic theory of betweenness

Cited in

(10)

• Betweenness structures of small linear co-size
• Axiomatic theory of betweenness
• On subbetweennesses of trees: hardness, algorithms, and characterizations
• Metrizable and $\mathbb {R}$-metrizable betweenness spaces
• scientific article; zbMATH DE number 1154174 (Why is no real title available?)
• scientific article; zbMATH DE number 1751215 (Why is no real title available?)
• Pretrees and the shadow topology
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• On setwise betweenness
• Characterization of the geodesic distance on infinite graphs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4327668)