Hostname: page-component-7c8c6479df-xxrs7 Total loading time: 0 Render date: 2024-03-29T12:20:30.567Z Has data issue: false hasContentIssue false

Lascar strong types in some simple theories

Published online by Cambridge University Press:  12 March 2014

Steven Buechler*
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Steven.A.Buechler.1@nd.edu

Abstract

In this paper a class of simple theories, called the low theories is developed, and the following is proved.

Theorem. Let T be a low theory, A a set and a, b elements realizing the same strong type over A. Then, a and b realize the same Lasear strong type over A.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1999

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

[1] Kim, B. and Pillay, A., Simple theories, Annals of Pure and Applied Logic, to appear.Google Scholar
[2] Kim, Byunghan, Forking in simple unstable theories, Journal of the London Mathematical Society, to appear.Google Scholar
[3] Shelah, Saharon, Simple unstable theories, Annals of Pure and Applied Logic, vol. 19 (1980), pp. 177–203.Google Scholar
[4] Shelah, Saharon, Classification theory and the number of nonisomorphic models, North-Holland, Amsterdam and New York, 1990, revised edition.Google Scholar