可决定性 meaning in English

decidability

For the decidable cases of arithmatical sentences , we give the upper and lower bounds of their computational complexity
对具可决定性的算术句型，我们并给出了其计算繁度的上界与下界。
In this article , we make a survey on the logical problem of arithmatical sentences , definability and decidability , in paticular
摘要本文是对算术句型中的逻辑问题做一综览，特别是算术句型的可定义性与可决定性。