О ФОРКИНГЕ ДЛЯ Δ − PM ТЕОРИИ И СТАБИЛЬНОСТЬ ЦЕНТРАЛЬНЫХ ТИПОВ Δ − PJ -ТЕОРИЙ В ОБОГАЩЁННОЙ СИГНАТУРЕ
Abstract
В статье [1] был определён класс Δ − PJ -теорий. Этот класс является позитивным обобщением класса йонсоновских теорий. В данной статье мы изучаем соответствующее понятие P -λ -стабильности (в смысле [2]) и соответствующее понятие синтаксического подобия (в смысле [4]) в некотором эквивалентном стиле в классе ∃+ -полных, совершенных Δ − PJ -теорий. А также мы рассматриваем некоторое обогащение сигнатуры таких теорий и в рамках некоторых манипуляций с символами новой сигнатуры относительно старой, мы определяем понятие центрального типа этих теорий.References
1. Ешкеев А.Р. Категоричные позитивные теории. Синтаксис и семантика логических систем. Материалы российской школы-семинара, посвященной 100-летию со дня рождения Курта Геделя, 23-27 август 2006 г., Иркутск, Институт математики СО РАН, Изд-во гос. Пед. Ун-т, 2006, 124 с., с. 28-32.
2. Мустафин Т.Г.,Нурмагамбетов Т.А. О Р-стабильности полных теорий //Cтруктурные свойства алгебраических систем .сборник научных трудов .- Караганда :Изд.КарГУ,1990.-125стр.-88-100
3. Ешкеев А.Р. О PJ-подобии в Δ − PJ -теориях //Вестник КазНПУ, №4(20), 2007. – С.113-117
4. Mustafin T.G. On similarities of complete theories // Logic Colloquium ’90: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, - held in Helsinki, - Finland, - July 15-22, - 1990, P. 259-265
5. Ешкеев А.Р. О J-форсинге совершенных йонсоновских теорий // Вестник КарГУ, серия математика. №3(43)/2006 С.18-22
6. Ешкеев А.Р. О PJ-форкинге в классе Δ − PJ -теорий // Вестник КазНУ. Серия математика, механика, информатика, №3(54), 2007 С.10-16
7. Pillay A. Forking in the category of existentially closed structures / Connection between Model Theory and Algebraic and Analytic Geometry (A.Macintyr, ed), Quaderni di Matematica, vol.6, University of Naples,
8. Eшкеев A.Р.,.Оспанов Р.M Cвязь йонсоновских теорий с теоремой Линдстрема // Tруды V-Казахско-Французского коллоквиума по теории моделей. Cборник научных трудов. -- Караганда: Изд-во КарГУ, - 2001, -- C. 65-75.
9. Weispfenning V. The model-theoretic significance of complemented existential formulas / The Journal of Symbolic Logic Volume 46, Number 4, Dec.1981
10.Ешкеев А.Р., Бегетаева Г.С. Стабильность Δ − PM теории и её центра // Вестник КарГУ, 2009г. (в печати).
11. Мустфин Т.Г. Число моделей теорий / Караганда 1983.
2. Мустафин Т.Г.,Нурмагамбетов Т.А. О Р-стабильности полных теорий //Cтруктурные свойства алгебраических систем .сборник научных трудов .- Караганда :Изд.КарГУ,1990.-125стр.-88-100
3. Ешкеев А.Р. О PJ-подобии в Δ − PJ -теориях //Вестник КазНПУ, №4(20), 2007. – С.113-117
4. Mustafin T.G. On similarities of complete theories // Logic Colloquium ’90: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, - held in Helsinki, - Finland, - July 15-22, - 1990, P. 259-265
5. Ешкеев А.Р. О J-форсинге совершенных йонсоновских теорий // Вестник КарГУ, серия математика. №3(43)/2006 С.18-22
6. Ешкеев А.Р. О PJ-форкинге в классе Δ − PJ -теорий // Вестник КазНУ. Серия математика, механика, информатика, №3(54), 2007 С.10-16
7. Pillay A. Forking in the category of existentially closed structures / Connection between Model Theory and Algebraic and Analytic Geometry (A.Macintyr, ed), Quaderni di Matematica, vol.6, University of Naples,
8. Eшкеев A.Р.,.Оспанов Р.M Cвязь йонсоновских теорий с теоремой Линдстрема // Tруды V-Казахско-Французского коллоквиума по теории моделей. Cборник научных трудов. -- Караганда: Изд-во КарГУ, - 2001, -- C. 65-75.
9. Weispfenning V. The model-theoretic significance of complemented existential formulas / The Journal of Symbolic Logic Volume 46, Number 4, Dec.1981
10.Ешкеев А.Р., Бегетаева Г.С. Стабильность Δ − PM теории и её центра // Вестник КарГУ, 2009г. (в печати).
11. Мустфин Т.Г. Число моделей теорий / Караганда 1983.
Downloads
Issue
Section
Algebra and Mathematical Logic
