کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662153 | 1633529 | 2008 | 16 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
More on SOP1 and SOP2
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
This paper continues the work in [S. Shelah, Towards classifying unstable theories, Annals of Pure and Applied Logic 80 (1996) 229–255] and [M. Džamonja, S. Shelah, On ◃∗-maximality, Annals of Pure and Applied Logic 125 (2004) 119–158]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the connection between maximality in the ordering ◃∗ among complete first order theories and the (N)SOP2 property. We prove that ◃∗-maximality implies SOP2 and obtain certain results in the other direction. The paper provides a step toward the classification of unstable theories without the strict order property.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 155, Issue 1, August 2008, Pages 16-31
Journal: Annals of Pure and Applied Logic - Volume 155, Issue 1, August 2008, Pages 16-31