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

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

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



Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти






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


Зап. научн. сем. ПОМИ, 1995, том 220, страницы 93–122 (Mi znsl4283)  

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

Метод $\varepsilon$-подстановок для исчисления предикатов с равенством

Г. Е. Минц

Отделение философии, Стенфордский университет

Аннотация: Метод $\varepsilon$-подстановок работает в языке, введенном Гильбертом и использованном позднее разными авторами, включая Бурбаки. Главная предикатная связка этого языка – эпсилон-символ $\varepsilon xF[x]$, который читается “некоторый $x$, удовлетворяющий условию $F$”. В арифметических контекстах он часто интерпретируется как “наименьшее натуральное число $x$, удовлетворяющее условию $F$”. Кванторы существования и всеобщности определяются через $\varepsilon$. В работе определяются $\varepsilon$-подстановки “снизу” для исчисления предикатов и его расширений равенством и схемой экстенсиональности, доказывается сходимость последовательности $\varepsilon$-подстановок и выведены соответствующие теоремы эрбрановского типа. В действительности установлена сильная сходимость: любая последовательность редукций (а не только последовательность со специальными свойствами) сходится. Библ. – 18 назв.

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

Англоязычная версия:
Journal of Mathematical Sciences (New York), 1997, 87:1, 3234–3252

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

Тип публикации: Статья
УДК: 510.23
Поступило: 01.09.1994

Образец цитирования: Г. Е. Минц, “Метод $\varepsilon$-подстановок для исчисления предикатов с равенством”, Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ПОМИ, СПб., 1995, 93–122; J. Math. Sci. (New York), 87:1 (1997), 3234–3252

Цитирование в формате AMSBIB
\RBibitem{Min95}
\by Г.~Е.~Минц
\paper Метод $\varepsilon$-подстановок для исчисления предикатов с равенством
\inbook Исследования по конструктивной математике и математической логике.~IX
\serial Зап. научн. сем. ПОМИ
\yr 1995
\vol 220
\pages 93--122
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl4283}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1374098}
\zmath{https://zbmath.org/?q=an:0934.03073}
\transl
\jour J. Math. Sci. (New York)
\yr 1997
\vol 87
\issue 1
\pages 3234--3252
\crossref{https://doi.org/10.1007/BF02358997}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl4283
  • http://mi.mathnet.ru/rus/znsl/v220/p93

    ОТПРАВИТЬ: 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. Slater B.H., “Epsilon calculi”, Log J IGPL, 14:4 (2006), 535–590  crossref  zmath  isi
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:130
    Полный текст:60
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022