Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
Счетные однородные булевы алгебры.
Теория с двумя сильно конструктивизируемыми моделями.
Тонкая иерархия и определимые индексные множества.
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Универсальная нумерация конструктивных -алгебр
Универсальные рекурсивно перечислимые булевы алгебры
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
Формальные трансляции
Фридбергеровские нумерации семейств -вычислимо перечислимых множеств.
Функциональные деревья и автоморфизмы моделей
Эндоморфизмы группы всех рекурсивных перестановок.
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
Эффективно бесконечные классы слабых конструктивизаций моделей
Эффективные операции выбора на конструктивных и позитивных моделях