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

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

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



Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Изв. АН СССР. Сер. матем., 1983, том 47, выпуск 2, страницы 315–334 (Mi izv1393)  

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

Абсолютная реализуемость предикатных формул

В. Е. Плиско


Аннотация: Вводится понятие абсолютно реализуемой предикатной формулы, которое может рассматриваться как некоторое уточнение понятия конструктивно общезначимой формулы логики предикатов. Доказывается, что класс всех абсолютно реализуемых формул есть $\Pi^1_1$-полное множество.
Библиография: 16 названий.

Полный текст: PDF файл (2637 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1984, 22:2, 291–308

Реферативные базы данных:

УДК: 51.01.16
MSC: Primary 03B60, 03F50, 03F55; Secondary 03B65, 03D20, 03D25, 03D55, 03F35, 68F20
Поступило в редакцию: 02.04.1982

Образец цитирования: В. Е. Плиско, “Абсолютная реализуемость предикатных формул”, Изв. АН СССР. Сер. матем., 47:2 (1983), 315–334; Math. USSR-Izv., 22:2 (1984), 291–308

Цитирование в формате AMSBIB
\RBibitem{Pli83}
\by В.~Е.~Плиско
\paper Абсолютная реализуемость предикатных формул
\jour Изв. АН СССР. Сер. матем.
\yr 1983
\vol 47
\issue 2
\pages 315--334
\mathnet{http://mi.mathnet.ru/izv1393}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=697298}
\zmath{https://zbmath.org/?q=an:0554.03029}
\transl
\jour Math. USSR-Izv.
\yr 1984
\vol 22
\issue 2
\pages 291--308
\crossref{https://doi.org/10.1070/IM1984v022n02ABEH001444}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/izv1393
  • http://mi.mathnet.ru/rus/izv/v47/i2/p315

    ОТПРАВИТЬ: 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. В. Е. Плиско, “Начала конструктивной теории моделей”, Фундамент. и прикл. матем., 8:3 (2002), 783–828  mathnet  mathscinet  zmath
    2. Albert Visser, “Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic”, Annals of Pure and Applied Logic, 114:1-3 (2002), 227  crossref
    3. Н. К. Верещагин, Д. П. Скворцов, Е. З. Скворцова, А. В. Чернов, “Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 77–97  mathnet  mathscinet  zmath; N. K. Vereshchagin, D. P. Skvortsov, E. Z. Skvortsova, A. V. Chernov, “Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle”, Proc. Steklov Inst. Math., 242 (2003), 67–85
    4. А. В. Чернов, “Сложность множеств, полученных как значения пропозициональных формул”, Матем. заметки, 75:1 (2004), 142–150  mathnet  crossref  mathscinet  zmath; A. V. Chernov, “Complexity of Sets Obtained as Values of Propositional Formulas”, Math. Notes, 75:1 (2004), 131–139  crossref  isi  elib
    5. Albert Visser, Maartje de Jonge, “No Escape from Vardanyan's theorem”, Arch Math Logic, 45:5 (2006), 539  crossref  mathscinet  zmath  isi
    6. В. Е. Плиско, “Обзор предикатной логики реализуемости”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 222–251  mathnet  mathscinet; Valerii E. Plisko, “A survey of predicate realizability logic”, Proc. Steklov Inst. Math., 274 (2011), 204–230  crossref  isi
    7. А. Ю. Коновалов, В. Е. Плиско, “О гиперарифметической реализуемости”, Матем. заметки, 98:5 (2015), 725–746  mathnet  crossref  mathscinet  elib; A. Yu. Konovalov, V. E. Plisko, “On Hyperarithmetical Realizability”, Math. Notes, 98:5 (2015), 778–797  crossref  isi
    8. А. Ю. Коновалов, “Арифметическая реализуемость и базисная логика”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2016, № 1, 52–56  mathnet  mathscinet; A. Yu. Konovalov, “Arithmetical realizability and basic logic”, Moscow University Mathematics Bulletin, 71:1 (2016), 35–38  crossref  isi
    9. А. Ю. Коновалов, “Арифметическая реализуемость и примитивно-рекурсивная реализуемость”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2016, № 4, 60–64  mathnet  mathscinet; A. Yu. Konovalov, “Arithmetical realizability and primitive recursive realizability”, Moscow University Mathematics Bulletin, 71:4 (2016), 166–169  crossref  isi
  • Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Просмотров:
    Эта страница:253
    Полный текст:66
    Литература:19
    Первая стр.:3

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019