Abstract
A question is studied as to which properties (classes) of elementary theories can be defined via generalized stability. We present a topological account of such classes. It is stated that some well-known classes of theories, such as strongly minimal, o-minimal, simple, etc., are stably definable, whereas, for instance, countably categorical, almost strongly minimal, ω-stable ones, are not.
Similar content being viewed by others
REFERENCES
S. Shelah, Classiffication Theory and the Number of Non-Isomorphic Models, 2nd ed., Stud. Log. Found. Math., Vol. 92, North-Holland, Amsterdam (1990).
L. Van der Dries, Tame Topology and o-Minimal Structures, London Math. Soc. Lect. Note Ser., Vol. 248, Cambridge Univ. Press, Cambridge (1998).
E. A. Palyutin, “E*-stable theories,” Algebra Logika, 42, No.2, 194–210 (2003).
F. Wagner, Simple Theories, Math. Appl. (Dordrecht), Vol. 503, Kluwer, Dordrecht (2000).
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], Lan', St. Petersburg-Moscow (2004).
E. A. Palyutin, “Stably definable classes of theories,” in Algebra, Logics, and Cybernetics [in Russian], Irkutsk (2004), p. 188.
Author information
Authors and Affiliations
Additional information
__________
Translated from Algebra i Logika, Vol. 44, No. 5, pp. 583–600, September–October, 2005.
Supported by RFBR grant Nos. 02-01-00540 and 05-01-00411, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1.
Rights and permissions
About this article
Cite this article
Palyutin, E.A. Stably Definable Classes of Theories. Algebr Logic 44, 326–335 (2005). https://doi.org/10.1007/s10469-005-0031-y
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10469-005-0031-y