Literature Cited
J. H. Bűchi, “Decision method in the theory of ordinals,” Bull. Amer. Math. Soc.,71, No. 5, 767–770.
H. Läuchli, “A decision procedure for the weak second order theory of linear order,” in: Contributions to Mathematical Logic, K. Schutte (editor), North Holland, Amsterdam (1968), pp. 189–197.
M. Rabin, “Decidability of second-order theories and automata of infinite trees,” Trans. Amer. Math. Soc.,141, 1–35 (1969).
H. Läuchli and J. Leonard, “On the elementary theory of linear order,” Fund. Math.,59, No. 1, 109–116, (1966).
A. D. Taimanov, “Characteristics of axiomatic classes of models,” Algebra i Logika (seminar), Inst. Matem. Sibirsk. Otd. Akad. Nauk SSSR,1, No. 4, 5–31 (1962).
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, Vol. 13, No. 1, pp. 218–224, January–February, 1972.
Rights and permissions
About this article
Cite this article
Pinus, A.G. On the theory of convex subsets. Sib Math J 13, 157–161 (1972). https://doi.org/10.1007/BF00967651
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00967651