Автоустойчивость булевой алгебры $B_{\omega}$, обогащенной автоморфизмом

Работа посвящена исследованию автоустойчивости булевой алгебры $\mathfrak{B}_{\omega}$, обогащенной автоморфизмом. Получены примеры автоустойчивой $(\mathfrak{B}_{\omega}, \phi)$ и разобраны некоторые случаи неавтоустойчивости. Для доказательства неавтоустойчивости использованы теоремы о неограниченных моделях и о ветвлении.