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

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

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



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






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


Фундамент. и прикл. матем., 1998, том 4, выпуск 2, страницы 733–749 (Mi fpm331)  

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

Разрешимые логики первого порядка

Р. Э. Яворский

Московский государственный университет им. М. В. Ломоносова

Аннотация: Логикой $\mathcal L(T)$ произвольной теории $T$ первого порядка называется множество предикатных формул, выводимых в $T$ при любой интерпретации в ее язык. Доказано, что для теории равенства и теории плотного линейного порядка без минимального и максимального элементов $\mathcal L(T)$ разрешима, но не может быть аксиоматизирована никаким множеством схем ограниченной валентности. В то же время для большинства выразительно сильных теорий $\mathcal L(T)$ оказывается неразрешимой.

Ключевые слова: логика теории, разрешимость, конечная аксиоматизируемость

Полный текст: PDF файл (806 kB)

Реферативные базы данных:
Тип публикации: Статья
УДК: 510.6
Поступила в редакцию: 01.10.1996

Образец цитирования: Р. Э. Яворский, “Разрешимые логики первого порядка”, Фундамент. и прикл. матем., 4:2 (1998), 733–749

Цитирование в формате AMSBIB
\RBibitem{Yav98}
\by Р.~Э.~Яворский
\paper Разрешимые логики первого порядка
\jour Фундамент. и прикл. матем.
\yr 1998
\vol 4
\issue 2
\pages 733--749
\mathnet{http://mi.mathnet.ru/fpm331}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1801186}
\zmath{https://zbmath.org/?q=an:0964.03008}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/fpm331
  • http://mi.mathnet.ru/rus/fpm/v4/i2/p733

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Р. Э. Яворский, “Предикатные логики выразительно сильных теорий”, Матем. заметки, 66:5 (1999), 777–788  mathnet  crossref  mathscinet  zmath; R. È. Yavorskii, “Predicate logics of expressively strong theories”, Math. Notes, 66:5 (1999), 642–650  crossref  isi  elib
    2. В. Е. Плиско, “Обзор предикатной логики реализуемости”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 222–251  mathnet  mathscinet  elib; Valerii E. Plisko, “A survey of predicate realizability logic”, Proc. Steklov Inst. Math., 274 (2011), 204–230  crossref  isi  elib
  • Фундаментальная и прикладная математика
    Просмотров:
    Эта страница:415
    Полный текст:170
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020