Geodesic
Axiomatization and undecidability results for linear betweenness relations
Mathematica slovaca, Tome 46 (1996) no. 4, pp. 305-315
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B25, 03B30, 52A01 
@article{MASLO_1996_46_4_a1,
     author = {Mendris, Robert and Zlato\v{s}, Pavol},
     title = {Axiomatization and undecidability results for linear betweenness relations},
     journal = {Mathematica slovaca},
     pages = {305--315},
     year = {1996},
     volume = {46},
     number = {4},
     mrnumber = {1472625},
     zbl = {0890.03003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MASLO_1996_46_4_a1/}
}
TY  - JOUR
AU  - Mendris, Robert
AU  - Zlatoš, Pavol
TI  - Axiomatization and undecidability results for linear betweenness relations
JO  - Mathematica slovaca
PY  - 1996
SP  - 305
EP  - 315
VL  - 46
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/MASLO_1996_46_4_a1/
LA  - en
ID  - MASLO_1996_46_4_a1
ER  - 
%0 Journal Article
%A Mendris, Robert
%A Zlatoš, Pavol
%T Axiomatization and undecidability results for linear betweenness relations
%J Mathematica slovaca
%D 1996
%P 305-315
%V 46
%N 4
%U http://geodesic.mathdoc.fr/item/MASLO_1996_46_4_a1/
%G en
%F MASLO_1996_46_4_a1
Mendris, Robert; Zlatoš, Pavol. Axiomatization and undecidability results for linear betweenness relations. Mathematica slovaca, Tome 46 (1996) no. 4, pp. 305-315. http://geodesic.mathdoc.fr/item/MASLO_1996_46_4_a1/

[1] BURRIS S.-SANKAPPANAVAR H. P.: A Course in Universal Algebra. Springer Verlag, Berlin-Heidelberg-New York, 1981. | MR | Zbl

[2] CHANG C. C.-KEISLER H. J.: Model Theory. (3rd ed.), Elsevier, North-Holland, Amsterdam, 1990. | MR | Zbl

[3] CLARKSON J. A.: Uniformly convex spaces. Trans. Amer. Math. Soc. 40 (1936), 396-414. | MR | Zbl

[4] ERSHOV, YU. L.-LAVROV I. A.-TAIMANOV A. D.-TAICLIN M. A.: Elementary theories. Uspekhi Mat. Nauk 20 (1965), 37-108. (Russian) | MR | Zbl

[5] HODGES W.: Model Theory. Cambridge Univ. Press, Cambridge, 1993. | MR | Zbl

[6] MENDRIS R.-ZLATOS P.: Axiomatization and undecidability results for metrizable betweenness relations. Proc. Amer. Math. Soc. (To appear). | MR | Zbl

[7] PITCHER E.-SMILEY M. F.: Transitivities of betweenness. Trans. Amer. Math. Soc. 52 (1942), 95-114. | MR | Zbl

[8] SHOENFIELD J. R.: Mathematical Logic. Addison-Wesley Reading, Mass.-1967. | MR | Zbl

[9] SMILEY M. F.: A comparison of algebraic, metric, and lattice betweenness. Bull. Amer. Math. Soc. 49 (1943), 246-252. | MR | Zbl

[10] TARSKI A.: A Decision Method for Elementary Algebra and Geometry. Univ. of Cali- fornia Press, Berkeley, 1951. | MR | Zbl

[11] VAUGHT R.: Remarks on universal classes of relational systems. Indag. Math. 16 (1954), 589-591. | MR | Zbl