Terms containing decidable

Subject	English	Russian
math.	completely decidable	вполне разрешимый
math.	decidable algebra	разрешимая алгебра
math.	decidable arithmetic	разрешимая арифметика
math.	decidable formula	разрешимая формула
math.	decidable language	разрешимый язык
math.	decidable predicate	разрешимый предикат
tech.	decidable problem	разрешимая проблема
math.	decidable proposition	разрешимое утверждение
math.	decidable relation	разрешимое отношение
math.	decidable sentence	разрешимое высказывание
math.	decidable set	разрешимое множество
math.	decidable statement	разрешимое высказывание
math.	decidable system	разрешимая система
math.	decidable theory	разрешимая теория
math.	effectively decidable	эффективно разрешимый
math.	effectively decidable function	эффективно разрешимая функция
math.	effectively decidable predicate	эффективно разрешимый предикат
math.	effectively decidable relation	эффективно разрешимое отношение
math.	formally decidable	формально разрешимый
math.	formally decidable formula	формально разрешимая формула
math.	numeralwise decidable	нумерически разрешимый
math.	numeralwise decidable formula	нумерически разрешимая формула
math.	numeralwise decidable function	нумерически разрешимая функция
math.	numeralwise decidable predicate	нумерически разрешимый предикат
math.	partially decidable	частично разрешимый