Theories of linear order. (English) Zbl 0304.02025


03C60 Model-theoretic algebra
06A05 Total orders
03B99 General logic
Full Text: DOI


[1] A. Ehrenfeucht,An application of games to the completeness problem for formalized theories, Fund. Math.XLIX (1961), 129–141. · Zbl 0096.24303
[2] S. Feferman and R. L. Vaught,The first order properties of products of algebraic systems, Fund. Math.XLVII (1959), 57–101. · Zbl 0088.24803
[3] J. L. Kelley,General topology, Van Nostrand, 1955. · Zbl 0066.16604
[4] H. Lauchli and J. Leonard,On the elementary theory of linear order, Fund. Math.59 (1966), 109–116. · Zbl 0156.25301
[5] M. Morely and R. Vaught,Homogeneous universal models. Math. Scand.11 (1962), 37–57. · Zbl 0112.00603
[6] J. G. Rosentein, 0 categoricity of linear orderings, Fund. Math.64 (1969), 1–5.
[7] G. E. Sacks,Saturated Model Theory, W. A. Benjamin Inc., 1972. · Zbl 0242.02054
[8] R. L. Vaught,Denumerable models of complete theories, Symposium on foundations of mathematics, Warsaw 1959, Infinitistic methods. · Zbl 0094.00801
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.