Hostname: page-component-7c8c6479df-ws8qp Total loading time: 0 Render date: 2024-03-29T13:45:25.848Z Has data issue: false hasContentIssue false

Scott analysis of pseudotypes

Published online by Cambridge University Press:  12 March 2014

Ludomir Newelski*
Affiliation:
Im Pan, Kopernika 18, 51-617 Wroclaw, Poland

Abstract

This is a continuation of [N2]. We find a Borel definition of Q-isolation. We pursue a topological and Scott analysis of pseudotypes on S(Q).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1993

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, J. T., Fundamentals of stability theory, Springer-Verlag, Berlin and New York, 1987.Google Scholar
[Bu] Buechler, S., Classification of small w.m. sets I, Classification theory, Chicago 1985 (Baldwin, J. T., editor), Springer-Verlag, Berlin and New York, 1987, pp. 3271.Google Scholar
[E] Evans, D. M., A note on automorphism groups of countably infinite structures, Archiv der Mathematik, vol. 49 (1987), pp. 479483.CrossRefGoogle Scholar
[N1] Newelski, L., A proof of Saffe's conjecture, Fundamenta Mathematicae, vol. 134 (1990), pp. 143155.CrossRefGoogle Scholar
[N2] Newelski, L., A model and its subset, this Journal, vol. 57 (1992), pp. 644658.Google Scholar
[Pi] Pillay, A., Forking, normalization and canonical bases, Annals of Pure and Applied Logic, vol. 32 (1986), pp. 6181.CrossRefGoogle Scholar
[Sa] Sacks, G., Saturated model theory, Benjamin, New York, 1972.Google Scholar
[Sc] Scott, D., Logic with denumerably long formulas and finite strings of quantifiers, The theory of models (Addison, J. W., Henkin, L., and Tarski, A., editors), North-Holland, Amsterdam, 1965, pp. 329341.Google Scholar
[Sh] Shelah, S., Classification theory, North-Holland, Amsterdam, 1978.Google Scholar
[SHM] Shelah, S., Harrington, L., and Makkai, M., A proof of Vaught's conjecture for ω-stable theories, Israel Journal of Mathematics, vol. 49 (1984), pp. 259280.CrossRefGoogle Scholar