Hostname: page-component-8448b6f56d-gtxcr Total loading time: 0 Render date: 2024-04-23T06:42:24.567Z Has data issue: false hasContentIssue false
  • English
  • Français

Weight ω in stable theories with few types

Published online by Cambridge University Press:  12 March 2014

Bernhard Herwig
Bernhard Herwig*
Affiliation:
Institut fur Mathematische Logik, Universitat Freiburg, Albertstrasse 23B, 79104 Freiburg, Germany, E-mail: herwig@sunl.ruf.uni-freiburg.de
Get access Rights & Permissions [Opens in a new window]

Abstract

We construct a type p with preweight ω with respect to itself in a theory with few types. A type with this property must be present in a stable theory with finitely many (but more than one) countable models. The construction is a modification of Hrushovski's important pseudoplane construction.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 60 , Issue 2 , June 1995 , pp. 353 - 373
Copyright
Copyright © Association for Symbolic Logic 1995

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

[BS] Baldwin, J. and Shi, N., Stable generic structures, preprint (1992).Google Scholar
[BP] Bouscaren, E. and Poizat, B., Des belles paires aux beaux uples, this Journal, vol. 53 (1988), pp. 434–442.Google Scholar
[CHL] Cherlin, G., Harrington, L., and Lachlan, A. H., ω-categorical, ω-stable structures, Annals of Pure and Applied Logic, vol. 28 (1985), pp. 103–135.CrossRefGoogle Scholar
[EFT] Ebbinghaus, H.-D., Flum, J., and Thomas, W., Mathematical logic, Springer-Verlag, Berlin, 1984.Google Scholar
[G] Goode, J. B., Hrushovski's geometries, Proceedings of the seventh Easter conference on model theory (Wendisch-Rietz, 1989), Seminarberichte No. 104, Sektion Mathematik, Humboldt Universitat, Berlin, 1989, pp. 106–117.Google Scholar
[He] Henson, C. W., Countable homogeneous relational structures and ω-categorical theories, this Journal, vol. 37 (1972), pp. 494–500.Google Scholar
[Hg] Herwig, B., ω-saturated generic structures, note (1991).Google Scholar
[H1] Hrushovski, E., Finitely based theories, this Journal, vol. 54 (1989), pp. 221–225.Google Scholar
[H2] Hrushovski, E., A stable ω-categorical pseudoplane, preprint (1989).Google Scholar
[H3] Hrushovski, E., Construction of a strongly minimal set, preprint (1988).Google Scholar
[H4] Hrushovski, E., Strongly minimal expansions of algebraically closed fields, Israel Journal of Mathematics, vol. 79 (1992), pp. 129–151.CrossRefGoogle Scholar
[KL] Kueker, D. W. and Laskowski, M. C., On generic structures, Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 175–183.CrossRefGoogle Scholar
[L] Lachlan, A. H., Two Conjectures on the stability of ω-categorical structures, Fundamenta Mathematicae, vol. 81 (1974), pp. 133–145.CrossRefGoogle Scholar
[M] Mal'cev, A. I., Axiomatizable classes of locally free algebras of certain types, Sibirskií Matematicheskií Zhurnal, vol. 3 (1962), pp. 729–743; English transl., Chapter 23 in A. I. Mal'cev, The metamathematics of algebraic systems, Collected paper: 1936–1967, North-Holland, Amsterdam, 1971.Google Scholar
[P] Pillay, A., Stable theories, pseudoplanes and the number of countable models, Annals of Pure and Applied Logic, vol. 43 (1989), pp. 147–160.CrossRefGoogle Scholar
[Sh] Shelah, S., Classification theory and the number of nonisomorphic models, 2nd rev. ed., North-Holland, Amsterdam, 1990.Google Scholar
[W] Wagner, F., Relational structures and dimensions, preprint (1988).Google Scholar