Hostname: page-component-7dd5485656-bt4hw Total loading time: 0 Render date: 2025-10-31T02:15:09.378Z Has data issue: false hasContentIssue false
  • English
  • Français

A model and its subset

Published online by Cambridge University Press:  12 March 2014

Ludomir Newelski
Ludomir Newelski*
Affiliation:
Mathematical Institute, Polish Academy Of Sciences, 51-617 Wrocław, Poland
*
IM PAN, Kopernika 18, 51-617 Wrocław, Poland
Get access Rights & Permissions [Opens in a new window]

Abstract

We try to count the number of countable models M of T with a fixed set Q = Φ(M) of realizations of a type Φ. Also, for stable T, we define an ordinal rank measuring multiplicity of types, with additivity properties similar to those of U-rank.

Information

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 57 , Issue 2 , June 1992 , pp. 644 - 658
Copyright
Copyright © Association for Symbolic Logic 1992

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

[Ba]Baldwin, J. T., Fundamentals of stability theory, Springer-Verlag, Berlin, 1988.CrossRefGoogle Scholar
[Bu1]Buechler, S., Classification of small weakly minimal sets. I, Classification theory, proceedings, Chicago 1985 (Baldwin, J. T., editor), Lecture Notes in Mathematics, vol. 1292, Springer-Verlag, Berlin, 1987, pp. 32–71.Google Scholar
[Bu2]Buechler, S., Coordinatization in superstable theories. II, Transactions of the American Mathematical Society, vol. 307 (1988), pp. 411–418.CrossRefGoogle Scholar
[HHM]Hodges, W., Hodkinson, I. M., and Macpherson, D., Omega-categoricity, relative categoricity and coordinatization, Annals of Pure and Applied Logic, vol. 46 (1990), pp. 169–199.CrossRefGoogle Scholar
[La]Lachlan, A. H., A property of stable theories, Fundamenta Mathematicae, vol. 77 ( 1972), pp. 9–20.CrossRefGoogle Scholar
[Ls]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
[N1]Newelski, L., A proof of Saffe's conjecture, Fundamenta Mathematicae, vol. 134 (1990), pp. 143–155.CrossRefGoogle Scholar
[N2]Newelski, L., Omitting types for stable ccc theories, this Journal, vol. 55 (1990), pp. 1037–1047.Google Scholar
[N3]Newelski, L., Scott analysis of pseudotypes, this Journal (submitted).Google Scholar
[Ox]Oxtoby, J. C., Measure and category, Springer-Verlag, Berlin, 1980.CrossRefGoogle Scholar
[Sh]Shelah, S., Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978.Google Scholar