effective decidability

Мат. эффективная разрешимость