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

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

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


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




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

Алгебра и логика, 1993, том 32, номер 6, страницы 618–630 (Mi al2249)  
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

О сильной конструктивизируемости булевых алгебр элементарной характеристики $(1, 1, 0)$

В. Н. Власовa, С. С. Гончаровb

a Новосибирский государственный университет
b Институт математики Сибирского отделения Российской академии наук, г. Новосибирск
PDF полного текста (1227 kB) Список цитирования (8)
Аннотация: В работе доказывается, что конструктивная булева алгебра с элементарной характеристикой, равной $(1,1,0)$, является сильно конструктивизируемой при разрешимости множества атомов и идеала Ершова–Тарского, причем показывается, что отказаться от условия на разрешимость множества атомов нельзя.
Поступило: 16.03.1993
Англоязычная версия:
Algebra and Logic
DOI: https://doi.org/10.1007/BF02263052
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.8
Образец цитирования: В. Н. Власов, С. С. Гончаров, “О сильной конструктивизируемости булевых алгебр элементарной характеристики $(1, 1, 0)$”, Алгебра и логика, 32:6 (1993), 618–630
Цитирование в формате AMSBIB
\RBibitem{VlaGon93}
\by В.~Н.~Власов, С.~С.~Гончаров
\paper О сильной конструктивизируемости булевых алгебр элементарной характеристики
$(1, 1, 0)$
\jour Алгебра и логика
\yr 1993
\vol 32
\issue 6
\pages 618--630
\mathnet{http://mi.mathnet.ru/al2249}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1296522}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2249
  • https://www.mathnet.ru/rus/al/v32/i6/p618
    • Эта публикация цитируется в следующих 8 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:63
    PDF полного текста:10
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024