Lascar strong types in some simple theories
Journal of Symbolic Logic 64 (2):817-824 (1999)
| 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 set and a, b elements realizing the same strong type over A. Then, a and b realized the same Lascar strong type over A | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFairouz Kamareddine & Twan Laan (2001). A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10 (3):375-402.
Steven Buechler (1986). Maximal Chains in the Fundamental Order. Journal of Symbolic Logic 51 (2):323-326.
Daniel Lascar & Anand Pillay (1999). Forking and Fundamental Order in Simple Theories. Journal of Symbolic Logic 64 (3):1155-1158.
Anand Pillay (1998). Definability and Definable Groups in Simple Theories. Journal of Symbolic Logic 63 (3):788-796.
A. Pillay (1989). A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types. Journal of Symbolic Logic 54 (3):858-864.
Itay Ben-Yaacov & Frank O. Wagner (2004). On Almost Orthogonality in Simple Theories. Journal of Symbolic Logic 69 (2):398 - 408.
Tapani Hyttinen & Meeri Kesälä (2010). Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. Notre Dame Journal of Formal Logic 52 (1):39-54.
Byunghan Kim (1998). A Note on Lascar Strong Types in Simple Theories. Journal of Symbolic Logic 63 (3):926-936.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
