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

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

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



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






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


Труды института математики СО РАН, 1996, том 30, страницы 3–25 (Mi mt388)  

Ранги Скотта булевых алгебр

П. Е. Алаев

г. Новосибирск
Аннотация: Рассматриваются некоторые вопросы, связанные с рангами Скотта булевых алгебр. Ранг Скотта является одной из оценок сложности алгебраической модели, определяемой средствами бесконечной логики, т. е. такой логики, в которой кроме обычных операций допускаются конъюнкции и дизъюнкции бесконечного множества формул. В работе описываются булевы алгебры конечного ранга, дается нижняя оценка ранга Скотта через ранг Фреше и строится формула, которая для $\alpha$-атомных булевых алгебр дает возможность вычислять ранг Скотта через $\alpha$ и ранг факторизации по итерированному идеалу Фреше. Это позволяет получить точное выражение ранга для суператомных булевых алгебр через их стандартные характеристики. Кроме того, оценивается ранг прямого произведения алгебр и доказывается определенная связь между рангом и сложностью предложения Скотта для данной алгебры.
Библиогр. 2.
Статья поступила: 01.10.1994
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.563
Образец цитирования: П. Е. Алаев, “Ранги Скотта булевых алгебр”, Тр. Ин-та математики СО РАН, 30 (1996), 3–25
Цитирование в формате AMSBIB
\RBibitem{Ala96}
\by П.~Е.~Алаев
\paper Ранги Скотта булевых алгебр
\jour Тр. Ин-та математики СО РАН
\yr 1996
\vol 30
\pages 3--25
\mathnet{http://mi.mathnet.ru/mt388}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1663775}
\zmath{https://zbmath.org/?q=an:0908.03043}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mt388
  • https://www.mathnet.ru/rus/mt/v30/p3
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математические труды
    Статистика просмотров:
    Страница аннотации:54
    PDF полного текста:27
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024