Автоустойчивость булевой алгебры Bω, обогащенной автоморфизмом

Abstract

Работа посвящена исследованию автоустойчивости булевой алгебры Bω, обогащенной автоморфизмом. Получены примеры автоустойчивой (Bω,φ) и разобраны некоторые случаи неавтоустойчивости. Для доказательства неавтоустойчивости использованы теоремы о неограниченных моделях и о ветвлении.