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

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

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



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






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


Сибирский математический журнал, 1993, том 34, номер 5, страницы 23–37 (Mi smj829)  

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

Вычислимые классы конструктивизаций моделей конечного типа конструктивности

С. С. Гончаров
Аннотация: Исследуются вычислимые классы слабых конструктивизаций для моделей, имеющих сильные конструктивизации. Доказано, что для сильно конструктивизируемых моделей, $n$-полных в некотором конечном обогащении константами, но не являющихся $(n+1)$-полными ни в каком обогащении константами, по любому вычислимому классу конструктивизаций эффективно строится конструктивизация, которая не из этого класса и не является $(n+1)$-конструктивизацией, т.е. ее $(n+1)$-ограниченная теория в обогащении константами для номеров не разрешима.
Библиогр. 14.
Статья поступила: 16.03.1993
Англоязычная версия:
Siberian Mathematical Journal, 1993, Volume 34, Issue 5, Pages 812–824
DOI: https://doi.org/10.1007/BF00971397
Реферативные базы данных:
УДК: 517.15
Образец цитирования: С. С. Гончаров, “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”, Сиб. матем. журн., 34:5 (1993), 23–37; Siberian Math. J., 34:5 (1993), 812–824
Цитирование в формате AMSBIB
\RBibitem{Gon93}
\by С.~С.~Гончаров
\paper Вычислимые классы конструктивизаций моделей конечного типа конструктивности
\jour Сиб. матем. журн.
\yr 1993
\vol 34
\issue 5
\pages 23--37
\mathnet{http://mi.mathnet.ru/smj829}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1255458}
\zmath{https://zbmath.org/?q=an:0860.03032}
\transl
\jour Siberian Math. J.
\yr 1993
\vol 34
\issue 5
\pages 812--824
\crossref{https://doi.org/10.1007/BF00971397}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1993MG83400003}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj829
  • https://www.mathnet.ru/rus/smj/v34/i5/p23
  • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:271
    PDF полного текста:79
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024