Алгоритмические свойства ветвящихся моделей

Обобщается понятие ветвления для конструктивных моделей. Найдены достаточные условия эффективной бесконечности класса конструктивных моделей. Показано, что если отношение ветвится на конструктивной модели, то при подходящей конструктивизации это отношение гипериммунно. Изучение ветвящихся моделей позволяет взглянуть с единой точки зрения на полученные ранее результаты о гипериммунности множества атомов в булевых алгебрах, о сложности $\omega$ и $\omega^*$ в $\omega+\omega^*$, об отношении следования в линейных порядках. Получена также характеризация автоустойчивых плотных линейных порядков с одноместным предикатом.