Abstract
LetT be a complete theory of linear order; the language ofT may contain a finite or a countable set of unary predicates. We prove the following results. (i) The number of nonisomorphic countable models ofT is either finite or 2ω. (ii) If the language ofT is finite then the number of nonisomorphic countable models ofT is either 1 or 2ω. (iii) IfS 1(T) is countable then so isS n(T) for everyn. (iv) In caseS 1(T) is countable we find a relation between the Cantor Bendixon rank ofS 1(T) and the Cantor Bendixon rank ofS n(T). (v) We define a class of modelsL, and show thatS 1(T) is finite iff the models ofT belong toL. We conclude that ifS 1(T) is finite thenT is finitely axiomatizable. (vi) We prove some theorems concerning the existence and the structure of saturated models.
Similar content being viewed by others
References
A. Ehrenfeucht,An application of games to the completeness problem for formalized theories, Fund. Math.XLIX (1961), 129–141.
S. Feferman and R. L. Vaught,The first order properties of products of algebraic systems, Fund. Math.XLVII (1959), 57–101.
J. L. Kelley,General topology, Van Nostrand, 1955.
H. Lauchli and J. Leonard,On the elementary theory of linear order, Fund. Math.59 (1966), 109–116.
M. Morely and R. Vaught,Homogeneous universal models. Math. Scand.11 (1962), 37–57.
J. G. Rosentein, ℵ0 categoricity of linear orderings, Fund. Math.64 (1969), 1–5.
G. E. Sacks,Saturated Model Theory, W. A. Benjamin Inc., 1972.
R. L. Vaught,Denumerable models of complete theories, Symposium on foundations of mathematics, Warsaw 1959, Infinitistic methods.
Author information
Authors and Affiliations
Additional information
Most of the results in this paper appeared in the author’s Master of Science thesis which was prepared at the Hebrew University under the supervision of Professor H. Gaifman.
Rights and permissions
About this article
Cite this article
Rubin, M. Theories of linear order. Israel J. Math. 17, 392–443 (1974). https://doi.org/10.1007/BF02757141
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02757141