Университеттің 85 жылдығына арналған Қазіргі заманғы математика

жүктеу/скачать 12,2 Mb.

Pdf көрінісі

бет	11/527
Дата	14.10.2023
өлшемі	12,2 Mb.
	#114644

1 ... 7 8 9 10 11 12 13 14 ... 527

Байланысты:
TaimanovMatem

Модельді сыртқы анықталатын жины және элементтің кӛршілігі тҥрі бойынша бойынша кеңейту Аңдатпа
Университеттің 85 жылдығына арналған «Қазіргі заманғы математика: проблемалары және қолданыстары» III халықаралық Тайманов оқуларының

Theorem A
Let T be a complete NSOP theory such that for any set A the fol-lowing
holds:
1)

For any p
∈
S
1
(
M
),
for any γ
¯
,QV
p
(
γ
¯)
is Aγ-definable.
2)

For any p,q
∈
S
1
(
M
)
the following holds. If p
q, then q
p
Then for model of the theory T the expansion by all externally definable subsets
admits quantifier elimination.

Модельді сыртқы анықталатын жины және элементтің кӛршілігі тҥрі
бойынша бойынша кеңейту
Аңдатпа
Есептер o-минималды теорияларда әзірленген сыртқы анықталу тұжырымдамасына
әртүрлі тәсілдер талқыланады. Қорытындылай келе, теория сыртқы анықталу қасиетіне ие
болатындай жеткілікті шарттар тұжырымдалады. Берілген теоремаға қысқаша түсініктеме
беріледі.
Кілт сӛздер
: сыртқы анықталатын, типтегі жиын кортежінің кӛршілестігі, екі
типтің ортогональды еместігі.

Университеттің 85 жылдығына арналған «Қазіргі заманғы математика:
проблемалары және қолданыстары» III халықаралық Тайманов оқуларының
материалдар жинағы, 25 қараша, 2022 жыл
10
Расширение модели однородным внешнеопределимым множеством и
окрестностью элемента по типу
Аннотация
В докладах обсуждаются различные подходы к понятию внешней определимости,
развитые в o-минимальных теориях. В заключение формулируются достаточные условия,
при которых теория обладает свойством внешней определимости. Дано краткое
объяснение сформулированной теоремы.

жүктеу/скачать 12,2 Mb.

Достарыңызбен бөлісу:

1 ... 7 8 9 10 11 12 13 14 ... 527