|
Труды института математики СО РАН, 1996, том 30, страницы 3–25
(Mi mt388)
|
|
|
|
Ранги Скотта булевых алгебр
П. Е. Алаев г. Новосибирск
Аннотация:
Рассматриваются некоторые вопросы, связанные с рангами Скотта булевых алгебр. Ранг Скотта является одной из оценок сложности алгебраической модели, определяемой средствами бесконечной логики, т. е. такой логики, в которой кроме обычных операций допускаются конъюнкции и дизъюнкции бесконечного множества формул. В работе описываются булевы алгебры конечного ранга, дается нижняя оценка ранга Скотта через ранг Фреше и строится формула, которая для $\alpha$-атомных булевых алгебр дает возможность вычислять ранг Скотта через $\alpha$ и ранг факторизации по итерированному идеалу Фреше. Это позволяет получить точное выражение ранга для суператомных булевых алгебр через их стандартные характеристики. Кроме того, оценивается ранг прямого произведения алгебр и доказывается определенная связь между рангом и сложностью предложения Скотта для данной алгебры.
Библиогр. 2.
Статья поступила: 01.10.1994
Образец цитирования:
П. Е. Алаев, “Ранги Скотта булевых алгебр”, Тр. Ин-та математики СО РАН, 30 (1996), 3–25
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt388 https://www.mathnet.ru/rus/mt/v30/p3
|
Статистика просмотров: |
Страница аннотации: | 54 | PDF полного текста: | 27 |
|