|
Сибирский математический журнал, 2009, том 50, номер 3, страницы 603–620
(Mi smj1985)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Об эффективных представлениях решеток формальных понятий
А. С. Морозов Институт математики им. С. Л. Соболева СО РАН, Новосибирск
Аннотация:
Типы изоморфизма упорядоченных структур формальных понятий вычислимых формальных контекстов изучаются с точки зрения теории конструктивных моделей. Показано, что, несмотря на то, что эти структуры могут иметь мощность континуума или в случае, когда эти структуры счетны, могут иметь сколь угодно высокую гиперарифметическую сложность, они в некотором смысле очень близки к вычислимым порядкам. Доказаны достаточные условия для того, чтобы эти порядки имели вычислимые представления. Приведено полное описание типов изоморфизма дискретных решеток понятий. Построен ряд контрпримеров.
Ключевые слова:
анализ формальных концепций, вычислимый формальный контекст, вычислимое формальное понятие, решетка понятий, вычислимая структура.
Статья поступила: 15.02.2007
Образец цитирования:
А. С. Морозов, “Об эффективных представлениях решеток формальных понятий”, Сиб. матем. журн., 50:3 (2009), 603–620; Siberian Math. J., 50:3 (2009), 481–494
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1985 https://www.mathnet.ru/rus/smj/v50/i3/p603
|
|