Literature cited
S. Shelah, "Classification theory and the number of nonisomorphic models," Studies in Logic and the Foundations of Mathematics,92, North-Holland, Amsterdam (1978).
D. Lascar and B. Poizat, "An introduction to forking," J. Symbolic Logic,44, No. 3, 330–350 (1979).
M. Morley, "Categoricity in power," Trans. Am. Math. Soc.,114, 514–538 (1965).
S. Shelah, "Stability, the f.c.p. and superstability," Ann. Math. Log.,3, 271–362 (1971).
A. Lachlan, "The number of countable models of countable superstable theory," Proc. of the Int. Congress on Logic, Methodology and the Philosophy of Science, Rumania (1971), North-Holland, Amsterdam (1973), pp. 45–56.
T. G. Mustafin, "Principles of the normalization of formulae," Sib. Mat. Zh.,22, No. 2, 158–169 (1981).
A. Lachlan, "Two conjectures on the stability of w-categorical theories," Fund. Math.81, 133–145 (1974).
M. I. Bekenov and T. G. Mustafin, "Rank functions, definable and nonsplitting types in stable theories," Dokl. Akad. Nauk SSSR,245, No. 4, 777–780 (1979).
D. Lascar, "Ranks and definability in superstable theories," Isr. J. Math.,23, No. 1, 53–87 (1976).
Additional information
Translated from Algebra i Logika, Vol. 21, No. 2, pp. 204–218, March–April, 1982.
Rights and permissions
About this article
Cite this article
Mustafin, T.G., Nurmagambetov, T.A. Forking types and rank functions in stable theories. Algebra and Logic 21, 138–148 (1982). https://doi.org/10.1007/BF01980755
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01980755