Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-25T00:27:38.021Z Has data issue: false hasContentIssue false
  • English
  • Français

Kueker's conjecture for superstable theories

Published online by Cambridge University Press:  12 March 2014

Steven Buechler
Steven Buechler*
Affiliation:
Yale University, New Haven, Connecticut 06520
*
Current address: University of Wisconsin-Milwaukee, Milwaukee, Wisconsin 53201.
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove that if every uncountable model of a first-order theory T is ω-saturated and T is superstable then T is categorical in some infinite power.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 49 , Issue 3 , September 1984 , pp. 930 - 934
Copyright
Copyright © Association for Symbolic Logic 1984

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

[Ba]Baldwin, John T., Manuscript for a book on stability theory (08, 1980), Springer-Verlag, Berlin (to appear).Google Scholar
[CK]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[LP]Lascar, D. and Poizat, B., An introduction to forking, this Journal, vol. 44 (1979), pp. 330–350.Google Scholar
[Sa]Sacks, G., Saturated model theory, W. A. Benjamin, New York, 1972.Google Scholar
[Sh]Shelah, S., Classification theory, North-Holland, Amsterdam, 1978.Google Scholar
[St]Steinhorn, Charles, On logics that express “there exist many indiscernibles”, Ph.D. dissertation, University of Wisconsin, Madison, Wisconsin, 1980.Google Scholar
[St 2]Steinhorn, Charles, A new omitting types theorem, this Journal (to appear).Google Scholar