Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-13T00:46:58.168Z Has data issue: false hasContentIssue false
  • English
  • Français

Some remarks on nonmultidimensional superstable theories

Published online by Cambridge University Press:  12 March 2014

Anand Pillay
Anand Pillay*
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 60556, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper we study nonmultidimensional superstable theories T, possibly in an uncountable language, and develop some techniques permitting the generalisation of certain results from the finite rank (and/or countable language) context to the general case.

We prove, among other things, the following: there is a set A0 of parameters, which has cardinality at most ∣T∣, and in the finite-dimensional case is finite, such that over any B ⊇ A0 there is a locally atomic model. One of the consequences of this is that if C is the monster model of T, φ(x) is a formula over A0, φC ⊇ X and (X, φC) satisfies the Tarski-Vaught condition after adding names for A0, then there is an elementary substructure M of C containing A0 such that φM = X. Applications to the spectrum problem will appear in [Ch-P].

In fact, all the components of the machinery we develop are already present in the general theory. One such component involves a stratification of the regular types of T using a generalized notion of weakly minimal formula. This appears in [Sh, Chapter V and the proof of IX.2.4] and also in [P2]. A second component involves definable groups which arise as ‘binding” groups. The existence of such groups, under certain hypotheses on the behavior of nonorthogonality, is due to Hrushovski [Hr1], and our use of them to help obtain “j-constructible” models is similar to their use in [Bu-Sh].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 59 , Issue 1 , March 1994 , pp. 151 - 165
Copyright
Copyright © Association for Symbolic Logic 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B]Baldwin, J. T., Fundamentals of stability theory, Springer-Verlag, New York, 1987.Google Scholar
[Bu-Sh]Buechler, S. and Shelah, S., On the existence of regular types, Annals of Pure and Applied Logic, vol. 45 (1989), pp. 277–308.Google Scholar
[Ch-P]Chowdhury, A. and Pillay, A., On the number of models of uncountable theories, preprint (1993).Google Scholar
[Hrl]Hrushovski, E., Unidimensional theories are superstate, Annals of Pure and Applied Logic, vol. 50 (1990), pp. 117–138.CrossRefGoogle Scholar
[Hr2]Hrushovski, E., Kueker's conjecture for stable theories, this Journal, vol. 54 (1989), pp. 207–220.Google Scholar
[Hr-Sh]Hrushovski, E. and Shelah, S., A dichotomy theorem for regular types, Annals of Pure and Applied Logic, vol. 45 (1989), pp. 157–169.CrossRefGoogle Scholar
[M]Makkai, M., A survey of basic stability theory, Israel Journal of Mathematics, vol. 49 (1984), pp. 181–238.CrossRefGoogle Scholar
[P1]Pillay, A., Introduction to stability theory, Oxford University Press, London and New York, 1983.Google Scholar
[P2]Pillay, A., Regular types in nonmultidimensional ω-stable theories, this Journal, vol. 49 (1984), pp. 880–891.Google Scholar
[Sh]Shelah, S., Classification theory, revised edition, North-Holland, Amsterdam, 1990.Google Scholar