Об эффективных представлениях решеток формальных понятий

Типы изоморфизма упорядоченных структур формальных понятий вычислимых формальных контекстов изучаются с точки зрения теории конструктивных моделей. Показано, что, несмотря на то, что эти структуры могут иметь мощность континуума или в случае, когда эти структуры счетны, могут иметь сколь угодно высокую гиперарифметическую сложность, они в некотором смысле очень близки к вычислимым порядкам. Доказаны достаточные условия для того, чтобы эти порядки имели вычислимые представления. Приведено полное описание типов изоморфизма дискретных решеток понятий. Построен ряд контрпримеров.