Hostname: page-component-54dcc4c588-scsgl Total loading time: 0 Render date: 2025-09-30T10:59:56.720Z Has data issue: false hasContentIssue false
  • English
  • Français

Maximal chains in the fundamental order

Published online by Cambridge University Press:  12 March 2014

Steven Buechler
Steven Buechler*
Affiliation:
Department of Mathematics, University of Wisconsin/Milwaukee, Milwaukee, Wisconsin 53201
*
Current address: Department of Mathematics, University of California, Berkeley, California 94618
Get access Rights & Permissions [Opens in a new window]

Abstract

Suppose T is superstable. Let ≤ denote the fundamental order on complete types, [p] the class of the bound of p, and U(—) Lascar's foundation rank (see [LP]). We prove

Theorem 1. If q < p and there is no r such that q < r < p, then U(q) + 1 = U(p).

Theorem 2. Suppose U(p) < ω and ξ1 < … < ξk is a maximal descending chain in the fundamental order with ξk = [p]. Then k = U(p).

That the finiteness of U(p) in Theorem 2 is necessary follows from

Theorem 3. There is an ω-stable theory with a type p ϵ S1(ϕ) such that

(1) U(p) = ω + 1, and

(2) there is a maximal descending chain of proper extensions of [p] which has order type ω.

Information

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 51 , Issue 2 , June 1986 , pp. 323 - 326
Copyright
Copyright © Association for Symbolic Logic 1986

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.)

Article purchase

Temporarily unavailable

References

REFERENCES

[B] Buechler, S., Locally modular theories of finite rank, Annals of Pure and Applied Logic (to appear).Google Scholar
[L] Lascar, D., Ranks and definability in superstable theories, Israel Journal of Mathematics, vol. 23 (1976), pp. 53–87.CrossRefGoogle Scholar
[LP] Lascar, D. and Poizat, B., An introduction to forking, this Journal, vol. 44 (1979), pp. 330–350.Google Scholar
[M] Makkai, M., A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Israel Journal of Mathematics, vol. 49 (1984), pp. 181–238.CrossRefGoogle Scholar
[P] Pillay, A., An introduction to stability theory, Oxford University Press, Oxford, 1983.Google Scholar
[Sh] Shelah, S., Classification theory and the number of nonisomorphic models, North-Holland, Amsterdam, 1978.Google Scholar