Terms for subject Mathematics containing decidable predicate

English	Russian
decidable predicate	разрешимый предикат
effectively decidable predicate	эффективно разрешимый предикат
numeralwise decidable predicate	нумерически разрешимый предикат