|
Вестник Тверского государственного университета. Серия: Прикладная математика, 2003, выпуск 1, страницы 5–15
(Mi vtpmk31)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Математические основы информатики
Ограниченные псевдоконечная однородность и изолированность
М. А. Тайцлин Тверской государственный университет, г. Тверь
Аннотация:
В [8] я предложил специализированную версию достаточных условий для того, чтобы использование общих знаний, собранных в основных операциях и отношениях универсума, не увеличивало выразительных возможностей языка запросов. Это усиление результатов работы [2] позволило охватить и теории без независимой формулы, справедливость трансляционной теоремы для которых была доказана в [1]. Здесь я предлагаю усовершенствованное и более аккуратное изложение этой версии. Вместе с замечательной теоремой С.М. Дудакова о том, что любая $P$-сводимая теория является $P$-ограниченной, это даёт короткое доказательство трансляционной теоремы для $P$-сводимых теорий и, в частности, для теорий без независимой формулы, которые, как доказано в [1], все являются $P$-сводимыми.
В [10] указано много примеров обогащений арифметики Пресбургера одной одноместной операцией с разрешимой элементарной теорией. Там же замечено, что для всех этих примеров имеет место трансляционная теорема. Принципиально другой такой пример предложен в [5]. Я предлагаю некоторое усовершенствование этого примера и замечаю, что свойство ограниченной изолированности для него не выполняется. Остаётся открытым вопрос, справедлива ли для этого примера трансляционная теорема.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vtpmk31
|
Статистика просмотров: |
Страница аннотации: | 23 | Список литературы: | 11 |
|