| Title:
|
Axiomatization and undecidability results for linear betweenness relations (English) |
| Author:
|
Mendris, Robert |
| Author:
|
Zlatoš, Pavol |
| Language:
|
English |
| Journal:
|
Mathematica Slovaca |
| ISSN:
|
0139-9918 |
| Volume:
|
46 |
| Issue:
|
4 |
| Year:
|
1996 |
| Pages:
|
305-315 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B25 |
| MSC:
|
03B30 |
| MSC:
|
52A01 |
| idZBL:
|
Zbl 0890.03003 |
| idMR:
|
MR1472625 |
| . |
| Date available:
|
2009-09-25T11:16:31Z |
| Last updated:
|
2012-08-01 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/132527 |
| . |
| Reference:
|
[1] BURRIS S.-SANKAPPANAVAR H. P.: A Course in Universal Algebra.Springer Verlag, Berlin-Heidelberg-New York, 1981. Zbl 0478.08001, MR 0648287 |
| Reference:
|
[2] CHANG C. C.-KEISLER H. J.: Model Theory.(3rd ed.), Elsevier, North-Holland, Amsterdam, 1990. Zbl 0697.03022, MR 1059055 |
| Reference:
|
[3] CLARKSON J. A.: Uniformly convex spaces.Trans. Amer. Math. Soc. 40 (1936), 396-414. Zbl 0015.35604, MR 1501880 |
| Reference:
|
[4] ERSHOV, YU. L.-LAVROV I. A.-TAIMANOV A. D.-TAICLIN M. A.: Elementary theories.Uspekhi Mat. Nauk 20 (1965), 37-108. (Russian) Zbl 0199.03001, MR 0186553 |
| Reference:
|
[5] HODGES W.: Model Theory.Cambridge Univ. Press, Cambridge, 1993. Zbl 0789.03031, MR 1221741 |
| Reference:
|
[6] MENDRIS R.-ZLATOS P.: Axiomatization and undecidability results for metrizable betweenness relations.Proc. Amer. Math. Soc. (To appear). Zbl 0818.03002, MR 1219728 |
| Reference:
|
[7] PITCHER E.-SMILEY M. F.: Transitivities of betweenness.Trans. Amer. Math. Soc. 52 (1942), 95-114. Zbl 0060.06408, MR 0007099 |
| Reference:
|
[8] SHOENFIELD J. R.: Mathematical Logic.Addison-Wesley Reading, Mass.-1967. Zbl 0155.01102, MR 0225631 |
| Reference:
|
[9] SMILEY M. F.: A comparison of algebraic, metric, and lattice betweenness.Bull. Amer. Math. Soc. 49 (1943), 246-252. Zbl 0060.06406, MR 0008123 |
| Reference:
|
[10] TARSKI A.: A Decision Method for Elementary Algebra and Geometry.Univ. of Cali- fornia Press, Berkeley, 1951. Zbl 0044.25102, MR 0044472 |
| Reference:
|
[11] VAUGHT R.: Remarks on universal classes of relational systems.Indag. Math. 16 (1954), 589-591. Zbl 0058.24701, MR 0066304 |
| . |
