decidable

Разрешимый effectively decidable function — эффективно разрешимая функция effectively decidable predicate — эффективно разрешимый предикат effectively decidable relation — эффективно разрешимое отношение formally decidable formula — формально разрешимая формула numeralwise decidable formula — нумерически разрешимая формула numeralwise decidable function — нумерически разрешимая функция numeralwise decidable predicate — нумерически разрешимый предикат — completely decidable — decidable algebra — decidable arithmetic — decidable formula — decidable language — decidable predicate — decidable proposition — decidable relation — decidable sentence — decidable set — decidable statement — decidable system — decidable theor — effectively decidable — formally decidable — numeralwise decidable — partially decidable разрешимый — * set (математика) разрешимое множество