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

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

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


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




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

Алгебра и логика, 1993, том 32, номер 2, страницы 131–138 (Mi al2222)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений

С. С. Заурбеков

Институт математики и механики АН Казахстана, г. Алматы
PDF полного текста (708 kB) Список цитирования (1)
Аннотация: М. Г. Перетятькин (Алгебра и логика, 30, N 5 (1991), 517–538) доказал невозможность аналога теоремы Райса третьего уровня для семантических классов предложений фиксированной конечной богатой сигнатуры даже относительно пустого списка свойств и предположил, что этот аналог возможен при исключении из рассмотрения некоторого семейства семантических классов предложений. В предлагаемой работе показана справедливость указанного предположения. Также приводится критерий многосводимости произвольного множества натуральных чисел к множеству номеров произвольного класса предложений из вышеуказанного семейства.
Поступило: 24.04.1992
Англоязычная версия:
Algebra and Logic
DOI: https://doi.org/10.1007/BF02260876
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.15
Образец цитирования: С. С. Заурбеков, “Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений”, Алгебра и логика, 32:2 (1993), 131–138
Цитирование в формате AMSBIB
\RBibitem{Zau93}
\by С.~С.~Заурбеков
\paper Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений
\jour Алгебра и логика
\yr 1993
\vol 32
\issue 2
\pages 131--138
\mathnet{http://mi.mathnet.ru/al2222}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1291465}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2222
  • https://www.mathnet.ru/rus/al/v32/i2/p131
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024