Вестник Тверского государственного университета. Серия: Прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Вестник ТвГУ. Серия: Прикладная математика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Вестник Тверского государственного университета. Серия: Прикладная математика, 2003, выпуск 1, страницы 5–15 (Mi vtpmk31)  

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Математические основы информатики

Ограниченные псевдоконечная однородность и изолированность

М. А. Тайцлин

Тверской государственный университет, г. Тверь
Список литературы:
Аннотация: В [8] я предложил специализированную версию достаточных условий для того, чтобы использование общих знаний, собранных в основных операциях и отношениях универсума, не увеличивало выразительных возможностей языка запросов. Это усиление результатов работы [2] позволило охватить и теории без независимой формулы, справедливость трансляционной теоремы для которых была доказана в [1]. Здесь я предлагаю усовершенствованное и более аккуратное изложение этой версии. Вместе с замечательной теоремой С.М. Дудакова о том, что любая $P$-сводимая теория является $P$-ограниченной, это даёт короткое доказательство трансляционной теоремы для $P$-сводимых теорий и, в частности, для теорий без независимой формулы, которые, как доказано в [1], все являются $P$-сводимыми.
В [10] указано много примеров обогащений арифметики Пресбургера одной одноместной операцией с разрешимой элементарной теорией. Там же замечено, что для всех этих примеров имеет место трансляционная теорема. Принципиально другой такой пример предложен в [5]. Я предлагаю некоторое усовершенствование этого примера и замечаю, что свойство ограниченной изолированности для него не выполняется. Остаётся открытым вопрос, справедлива ли для этого примера трансляционная теорема.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 00-01-00254
Работа поддержана Российским фондом фундаментальных исследований (номер проекта 00-01-00254).
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.676, 519.7
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk31
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Вестник Тверского государственного университета. Серия: Прикладная математика
    Статистика просмотров:
    Страница аннотации:23
    Список литературы:11
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024