User blog comment:Vel!/Formal logic challenge/@comment-5150073-20140710082719/@comment-1605058-20140715164948

Decidability is perfectly well-defined and unambiguous term - by default (i.e. if it's not implictly stated that we mean some certain model) we always assume TM decidability.