|
Алгебра и логика, 2006, том 45, номер 1, страницы 44–84
(Mi al117)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Полурешётки Роджерса конечных частично упорядоченных множеств
Ю. Л. Ершов Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Доказана формульная определимость главной подрешётки полурешётки Роджерса конечного частично упорядоченного множества. Для доказательства потребовалось найти обобщение теоремы Денисова о продолжении вложений полурешёток Лахлана на идеалы полурешёток Роджерса.
Ключевые слова:
полурешётка Роджерса, полурешётка Лахлана, формульная определимость.
Поступило: 27.08.2005 Окончательный вариант: 19.01.2006
Образец цитирования:
Ю. Л. Ершов, “Полурешётки Роджерса конечных частично упорядоченных множеств”, Алгебра и логика, 45:1 (2006), 44–84; Algebra and Logic, 45:1 (2006), 26–48
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al117 https://www.mathnet.ru/rus/al/v45/i1/p44
|
Статистика просмотров: |
Страница аннотации: | 542 | PDF полного текста: | 178 | Список литературы: | 74 | Первая страница: | 4 |
|