|
Алгебра и логика, 2002, том 41, номер 5, страницы 531–552
(Mi al196)
|
|
|
|
Эта публикация цитируется в 17 научных статьях (всего в 17 статьях)
О $\Delta_3^0$-категоричности для линейных порядков и булевых алгебр
Ч. Ф. Мак-Кой University of Wisconsin-Madison
Аннотация:
Исследуется $\Delta_3^0$-категоричность для линейных порядков и булевых алгебр. Доказывается, что существует несчетное число относительно $\Delta_3^0$-категоричных линейных порядков. Показывается, что задача классификации (неотносительно) $\Delta_3^0$-категоричных линейных порядков может оказаться очень сложной. Полной противоложностью этим результатам для линейных порядков является полное описание относительно $\Delta_3^0$-категоричных булевых алгебр, которое также приводится.
Ключевые слова:
линейный порядок, булева алгебра, $\Delta_{3}^{0}$-категоричность.
Поступило: 26.08.2002
Образец цитирования:
Ч. Ф. Мак-Кой, “О $\Delta_3^0$-категоричности для линейных порядков и булевых алгебр”, Алгебра и логика, 41:5 (2002), 531–552; Algebra and Logic, 41:5 (2002), 295–305
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al196 https://www.mathnet.ru/rus/al/v41/i5/p531
|
|