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

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

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



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






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


Вестн. НГУ. Сер. матем., мех., информ., 2010, том 10, выпуск 1, страницы 65–69 (Mi vngu31)  

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

Булевы алгебры элементарной характеристики $(1,0,1)$ с вычислимыми множеством атомов и идеалом атомных элементов

М. Н. Леонтьева

Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия

Аннотация: Задача, решаемая в данной работе, является в какой-то степени более общей, чем исследование связи $n$-вычислимости и разрешимости булевых алгебр элементарной характеристики $(n,0,1)$, которое полностью завершено. В работе рассматриваются вычислимые булевы алгебры элементарной характеристики $(1,0,1)$ с вычислимыми множеством атомов и идеалом атомных элементов. Приводится доказательство того, что такие алгебры имеют сильно вычислимые изоморфные копии. Результат обобщается на случай булевых алгебр элементарной характеристики $(n,0,1)$.

Ключевые слова: булевы алгебры, вычислимое множество, вычислимая модель, сильно вычислимая модель, $n$-вычислимость, элементарная характеристика булевой алгебры, идеал Ершова–Тарского, идеал Фреше.

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

Англоязычная версия:
Journal of Mathematical Sciences, 2012, 186:3, 461–465

Тип публикации: Статья
УДК: 510.5+510.6+512.563
Поступила в редакцию: 26.06.2009

Образец цитирования: М. Н. Леонтьева, “Булевы алгебры элементарной характеристики $(1,0,1)$ с вычислимыми множеством атомов и идеалом атомных элементов”, Вестн. НГУ. Сер. матем., мех., информ., 10:1 (2010), 65–69; J. Math. Sci., 186:3 (2012), 461–465

Цитирование в формате AMSBIB
\RBibitem{Leo10}
\by М.~Н.~Леонтьева
\paper Булевы алгебры элементарной характеристики $(1,0,1)$ с вычислимыми множеством атомов и идеалом атомных элементов
\jour Вестн. НГУ. Сер. матем., мех., информ.
\yr 2010
\vol 10
\issue 1
\pages 65--69
\mathnet{http://mi.mathnet.ru/vngu31}
\transl
\jour J. Math. Sci.
\yr 2012
\vol 186
\issue 3
\pages 461--465
\crossref{https://doi.org/10.1007/s10958-012-1000-3}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vngu31
  • http://mi.mathnet.ru/rus/vngu/v10/i1/p65

    ОТПРАВИТЬ: 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. М. Н. Леонтьева, “Дoстаточные условия разрешимости для булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 63–68  mathnet; M. N. Leontyeva, “Sufficient Conditions of Decidability of Boolean Algebras”, J. Math. Sci., 195:6 (2013), 827–831  crossref
    2. М. Н. Леонтьева, “Минимальность некоторых условий разрешимости для булевых алгебр”, Сиб. матем. журн., 53:1 (2012), 132–147  mathnet  mathscinet; M. N. Leontyeva, “The minimality of certain decidability conditions for Boolean algebras”, Siberian Math. J., 53:1 (2012), 106–118  crossref  isi
    3. Леонтьева М.Н., “Существование сильно вычислимых представлений в классе булевых алгебр”, Докл. РАН, 445:2 (2012), 132–134  mathscinet  zmath  elib; Leontyeva M.N., “The existence of strongly computable representations in the class of Boolean algebras”, Dokl. Math., 86:1 (2012), 469–471  crossref  mathscinet  zmath  isi
    4. М. Н. Леонтьева, “Сильная конструктивизируемость булевых алгебр элементарной характеристики $(\infty,0,0)$”, Алгебра и логика, 53:2 (2014), 185–205  mathnet  mathscinet; M. N. Leontieva, “Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$”, Algebra and Logic, 53:2 (2014), 119–132  crossref  isi
  • Вестник Новосибирского государственного университета. Серия: математика, механика, информатика
    Просмотров:
    Эта страница:131
    Полный текст:48
    Литература:24
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020