Axiomatization and Undecidability Results for Metrizable Betweeness Relations (Q4327668)
From MaRDI portal
scientific article; zbMATH DE number 741414
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatization and Undecidability Results for Metrizable Betweeness Relations |
scientific article; zbMATH DE number 741414 |
Statements
Axiomatization and Undecidability Results for Metrizable Betweeness Relations (English)
0 references
10 April 1995
0 references
axiomatizability
0 references
betweenness relation
0 references
first-order theory of metrizable betweenness spaces
0 references
elementary class
0 references
universal Horn axioms
0 references
