Пространство стоуновского представления и конструкции расширений

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