This is a preview of subscription content, log in via an institution to check access.
Literature Cited
A. H. Lachlan, “Two conjectures regarding the stability of ω-categorical theories,” Fund. Math.,81, No. 2, 133–145 (1974).
A. H. Lachlan, “Dimension and totally transcendental theories of rank 2,” in: Set Theory and Hierarchy Theory. A Memorial Tribute to Andrzej Mostowski, Bierutowice, Poland (1975), Springer-Verlag, New York (1976), pp. 153–183.
A. H. Lachlan, “A property of stable theories,” Fund. Math.,77, No. 1, 9–20 (1972).
A. H. Lachlan, “On the number of countable models of a countable superstable theory,” in: Logic, Methodology, and the Philosophy of Science, IV, North-Holland, Amsterdam (1973), pp. 45–56.
M. Morley, “Categoricity in power,” Trans. Am. Math. Soc.,114, No. 2, 514–538 (1965).
S. Shelah, “Stability, the fep, and superstability,” Ann. Math. Logic,3, No. 3, 271–362 (1971).
S. Shelah, “Finite diagrams stable in power,” Ann. Math. Logic,2, No. 1, 69–118 (1970).
D. Lascar, “Ranks and definability in superstable theories,” Israel J. Math.,23, No. 1, 53–87 (1976).
T. G. Mustafin, “On rank functions in stable theories,” Sib. Mat. Zh.,21, No. 6, 84–95 (1980).
T. G. Mustafin, “On a strong basis of elementary types of theories,” Sib. Mat. Zh.,18, No. 6, 1356–1366 (1977).
M. I. Bekenov and T. G. Mustafin, “Properties of unsplittable types in stable theories,” Sib. Mat. Zh.,22, No. 1, 27–34 (1981).
A. H. Lachlan, “Theories with a finite number of models in an uncountable power are categorical,” Pac. J. Math.,61, No. 2, 465–481 (1975).
Additional information
Karaganda State University. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 22, No. 2, pp. 158–169, March–April, 1981.
Rights and permissions
About this article
Cite this article
Mustafin, T.G. Principles for normalization of formulas. Sib Math J 22, 291–299 (1981). https://doi.org/10.1007/BF00968425
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00968425