|
Записки научных семинаров ПОМИ, 2008, том 358, страницы 23–37
(Mi znsl2143)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Non-maximal decidable structures
[Немаксимальные разрешимые структуры]
A. Bès, P. Cégielski LACL, Université Paris-Est
Аннотация:
Для всякой бесконечной структуры $\mathfrak M$ с разрешимой теорией первого порядка мы приводим достаточное условие, сформулированное в терминах графа Гайфмана структуры $\mathfrak M$, гарантирующее, что $\mathfrak M$ может быть так расширена некоторым не выразимым в $\mathfrak M$ предикатом, что теория первого порядка получившегося расширения все еще остается разрешимой. Библ. – 10 назв.
Поступило: 22.05.2007
Образец цитирования:
A. Bès, P. Cégielski, “Non-maximal decidable structures”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 23–37; J. Math. Sci. (N. Y.), 158:5 (2009), 615–622
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2143 https://www.mathnet.ru/rus/znsl/v358/p23
|
Статистика просмотров: |
Страница аннотации: | 320 | PDF полного текста: | 52 | Список литературы: | 44 |
|