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

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

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



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






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


Алгебра и логика, 2010, том 49, номер 2, страницы 181–194 (Mi al435)  

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

Определимость операций замыкания в $h$-предпорядке размеченных лесов

А. В. Жуковa, О. В. Кудиновb, В. Л. Селивановc

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

Аннотация: Доказывается определимость естественных операций замыкания на фактор-структурах $h$-предпорядка конечных и (не более чем) счётных $k$-размеченных лесов ($k\ge3$) при условии, что минимальные ненулевые элементы допускаются в качестве параметров. Это усиливает полученный ранее результат об определимости любого элемента $h$-предпорядка конечных $k$-размеченных лесов в языке первого порядка и любого элемента $h$-предпорядка (не более чем) счётных $k$-размеченных лесов в языке $L_{\omega_1\omega}$, в обоих случаях $k\ge3$ и минимальные ненулевые элементы допускаются в качестве параметров. Аналогичные утверждения верны для двух других близких структур: $h$-предпорядка конечных (соответственно счётных) $k$-размеченных деревьев и $k$-размеченных деревьев с фиксированной меткой корневого элемента.

Ключевые слова: размеченный лес, размеченное дерево, $h$-предпорядок, определимость, операция замыкания.

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

Англоязычная версия:
Algebra and Logic, 2010, 49:2, 120–129

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

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

Образец цитирования: А. В. Жуков, О. В. Кудинов, В. Л. Селиванов, “Определимость операций замыкания в $h$-предпорядке размеченных лесов”, Алгебра и логика, 49:2 (2010), 181–194; Algebra and Logic, 49:2 (2010), 120–129

Цитирование в формате AMSBIB
\RBibitem{ZhuKudSel10}
\by А.~В.~Жуков, О.~В.~Кудинов, В.~Л.~Селиванов
\paper Определимость операций замыкания в~$h$-предпорядке размеченных лесов
\jour Алгебра и логика
\yr 2010
\vol 49
\issue 2
\pages 181--194
\mathnet{http://mi.mathnet.ru/al435}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2724804}
\zmath{https://zbmath.org/?q=an:1214.03023}
\transl
\jour Algebra and Logic
\yr 2010
\vol 49
\issue 2
\pages 120--129
\crossref{https://doi.org/10.1007/s10469-010-9084-7}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000278896100003}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77953917237}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al435
  • http://mi.mathnet.ru/rus/al/v49/i2/p181

    ОТПРАВИТЬ: 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. Spreen D., “the Life and Work of Victor l. Selivanov”, Logic, Computation, Hierarchies, Ontos Mathematical Logic, 4, ed. Brattka V. Diener H. Spreen D., Walter de Gruyter Gmbh, 2014, 1–8  mathscinet  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:191
    Полный текст:47
    Литература:35
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019