×

Powerful types in small theories. (English. Russian original) Zbl 0723.03018

Sib. Math. J. 31, No. 4, 629-638 (1990); translation from Sib. Mat. Zh. 31, No. 4(182), 118-128 (1990).
The aim of the paper is to suggest an approach to the long-standing problem of existence of a stable theory with more than one but finitely many countable models. Such a theory must be small and, as M. Benda noted, has a non-isolated powerful type. (A theory is small if it has at most countably many types over \(\emptyset\); a type over \(\emptyset\) is called powerful if every model realizing the type realizes every type over \(\emptyset.)\) A. Pillay showed that a small stable theory having a non-isolated powerful type cannot be superstable or 1-based. The author conjectures that such a theory exists; he introduces some (rather technical) notions to express properties of the theory and the type. These properties are formulated in terms of some numerical characteristics which are defined for any type \(p(\bar x)\) and any formula \(\phi(\bar x,\bar y)\) with \(l(\bar x)=l(\bar y)\). A. Pillay proved that, for small 1-based theories, the relation of semi-isolation on the set of realizations of any type is symmetric. (He says that \(\bar a\) semi-isolates \(\bar b\) if there is a formula \(\phi(\bar a,\bar x)\), satisfied by \(\bar b,\) which also determines the pure type of \(\bar b.\)) The author gives an example which shows that one cannot generalize this replacing ‘1-based’ with ‘stable’. A characterization of powerful types in small theories is also given.

MSC:

03C45 Classification theory, stability, and related concepts in model theory
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] M. Benda, ?Remarks on countable models,? Fund. Math,81, No. 2, 107-119 (1974). · Zbl 0289.02038
[2] J. Barwise (ed.), Handbook of Mathematic Logic, North-Holland, Amsterdam (1977), Pt. A: Model Theory.
[3] A. Pillay, An Introduction to Stability Theory, Oxford Univ. Press, Oxford (1983). · Zbl 0526.03014
[4] A. Pillay, ?Countable models of stable theories,? Proc. Am. Math. Soc.,89, No. 4, 666-672 (1983). · Zbl 0545.03010 · doi:10.1090/S0002-9939-1983-0718994-3
[5] Yu. Zaffe (J. Saffe), E. A. Palyutin and S. S. Starchenko, ?Models of superstable Horn theories,? Algebra Logika,24, No. 3, 278-326 (1985). · Zbl 0617.03013 · doi:10.1007/BF01984693
[6] A. Pillay and G. Srour, ?Closed sets and chain conditions in stable theories,? J. Symb. Logic,49, No. 4, 1350-1362 (1984). · Zbl 0597.03018 · doi:10.2307/2274284
[7] A. Pillay, ?Forking, normalization and canonical bases,? Ann. Pure Appl. Logic,32, No. 1, 61-81 (1986). · Zbl 0607.03010 · doi:10.1016/0168-0072(86)90044-8
[8] E. Hrushovski, ?Contribution to stable model theory,? Candidate’s Dissertation, Berkeley (1986).
[9] A. Tsuboi, ?Countable models and unions of theories,? J. Math. Soc. Jpn.38, No. 3, 501-508 (1986). · Zbl 0616.03020 · doi:10.2969/jmsj/03830501
[10] A. Lachlan, ?Two conjectures regarding the stability of ?-categorical theories,? Fund. Math.,81, No. 2, 133-145 (1974). · Zbl 0284.02025
[11] A. Pillay, ?Stable theories, pseudoplanes and the number of countable models,? Preprint, University of Notre Dame, Notre Dame (1984).
[12] A. Pillay, ?Weakly normal theories,? Preprint, University of Notre Dame, Notre Dame (1984). · Zbl 0595.03030
[13] R. E. Woodrow, ?A note on countable complete theories having three isomorphism types of countable models,? J. Symb. Logic,41, No. 3, 672-680 (1976). · Zbl 0373.02036 · doi:10.2307/2272044
[14] R. E. Woodrow, ?Theories with a finite number of countable models,? J. Symb. Logic,43, No. 3, 442-455 (1978). · Zbl 0434.03022 · doi:10.2307/2273520
[15] A. Pillay, ?A note on one-based theories,? Preprint, University of Notre Dame, Notre Dame (1984). · Zbl 0595.03030
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.