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

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

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



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






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


Алгебра и логика, 2011, том 50, номер 5, страницы 615–646 (Mi al505)  

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

Hеподвижные точки оператора скачка

В. Г. Пузаренкоab

a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Строится пример допустимого множества, являющегося неподвижной точкой оператора $\Sigma$-скачка. Приводятся также основные свойства неподвижной точки.

Ключевые слова: KPU-модель, допустимое множество, конструктивное представление, рекурсивно насыщенная модель, $\Sigma$-скачок, $\Sigma$-сводимость, $\Sigma$-определимость, наследственно конечные надстройки, натуральные ординалы.

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

Англоязычная версия:
Algebra and Logic, 2011, 50:5, 418–438

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

Тип публикации: Статья
УДК: 510.5
Поступило: 09.02.2011
Окончательный вариант: 13.07.2011

Образец цитирования: В. Г. Пузаренко, “Hеподвижные точки оператора скачка”, Алгебра и логика, 50:5 (2011), 615–646; Algebra and Logic, 50:5 (2011), 418–438

Цитирование в формате AMSBIB
\RBibitem{Puz11}
\by В.~Г.~Пузаренко
\paper Hеподвижные точки оператора скачка
\jour Алгебра и логика
\yr 2011
\vol 50
\issue 5
\pages 615--646
\mathnet{http://mi.mathnet.ru/al505}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2907410}
\zmath{https://zbmath.org/?q=an:1266.03052}
\transl
\jour Algebra and Logic
\yr 2011
\vol 50
\issue 5
\pages 418--438
\crossref{https://doi.org/10.1007/s10469-011-9153-6}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000297813600003}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-82955233136}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al505
  • http://mi.mathnet.ru/rus/al/v50/i5/p615

    ОТПРАВИТЬ: 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. Montalban A., “Rice Sequences of Relations”, Philos. Trans. R. Soc. A-Math. Phys. Eng. Sci., 370:1971, SI (2012), 3464–3487  crossref  mathscinet  zmath  adsnasa  isi  scopus
    2. Fokina E.B. Harizanov V. Melnikov A., “Computable Model Theory”, Turing'S Legacy: Developments From Turing'S Ideas in Logic, Lecture Notes in Logic, 42, ed. Downey R., Cambridge Univ Press, 2014, 124–194  mathscinet  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:235
    Полный текст:49
    Литература:25
    Первая стр.:12

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