Hostname: page-component-77c89778f8-n9wrp Total loading time: 0 Render date: 2024-07-20T03:29:19.486Z Has data issue: false hasContentIssue false

Some trivial considerations

Published online by Cambridge University Press:  12 March 2014

John B. Goode*
Affiliation:
Équipe de Logique Mathématique, Université Paris-VII, 75251 Paris, France

Extract

At the source of what is now known as “geometric stability theory” was Zil'ber's intuition that the essential properties of an aleph-one-categorical theory were controlled by the geometries of its minimal types. (However, the situation is much more complex than was assumed in Zil'ber [1984], since the main conjecture of that paper has been disproved by Hrushovski.) This is not unnatural in this unidimensional case, where all these geometries have isomorphic contractions, but it was even realized later, in Cherlin, Harrington and Lachlan [1985] and Buechler [1986], that, for any superstable theory with finite ranks, a certain “local” property, i.e. a property satisfied by the geometry of each type of rank one (namely: to have a projective contraction), was equivalent to a “global” one (the theory is one-based, hence satisfies a coordinatization lemma). Then it was shown, in Pillay [1986], that this situation does not generalize to the infinite rank case, that, even for a theory of rank omega, the (local) assumption of projectivity for all the regular types of the theory does not have an exact global counterpart.

To clarify this kind of phenomena, I suggest here the elimination of their geometrical aspect, considering only the case where all of the geometries are degenerate. I will study various notions of triviality, which make sense in a stable context, and turn out to be equivalent in the finite rank case; some of them have a definite global flavour, others are of local character.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1991

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

Baldwin, John T. and Harrington, Leo [1987], Trivial pursuit: remarks on the main gap, Annals of Pure and Applied Logic, vol. 34, pp. 209230.CrossRefGoogle Scholar
Buechler, Steven [1986], Locally modular theories of finite rank, Annals of Pure and Applied Logic, vol. 30, pp. 8395.CrossRefGoogle Scholar
Buechler, Steven [1986a], Maximal chains in the fundamental order, this Journal, vol. 51, pp. 323326.Google Scholar
Buechler, Steven [199?], Pseudoprojective strongly minimal sets are locally projective, this Journal (to appear).Google Scholar
Cherlin, Gregory, Harrington, Leo and Lachlan, Alastair [1985], 0-categorical ℵ0-stable theories, Annals of Pure and Applied Logic, vol. 28, pp. 103135.CrossRefGoogle Scholar
Evans, David, Pillay, Anand and Poizat, Bruno [199?], A group in a group, Algebra i Logika (in French, to appear; English translation will appear in Algebra and Logic).Google Scholar
Hrushovski, Ehud and Pillay, Anand [1987], Weakly normal groups, Logic Colloquium '85, North-Holland, Amsterdam, pp. 233244.CrossRefGoogle Scholar
Pillay, Anand [1987], Simple superstable theories, Classification theory (Baldwin, J. T., editor), Lecture Notes in Mathematics, vol. 1292, Springer-Verlag, Berlin, pp. 247263.CrossRefGoogle Scholar
Poizat, Bruno [1986], Attention à la marche! this Journal, vol. 51, pp. 570585.Google Scholar
Zil'ber, B. I. [1984], The structure of models of uncountably categorical theories, Proceedings of the international congress of mathematicians, August 16–24, 1983, Warszawa, Vol. 1, PWN, Warsaw, and North-Holland, Amsterdam, pp. 359368.Google Scholar