Completely analogous a upper semicomputable function formula _ 1 is lower partial , iff formula _ 10 is computable or equivalently , if there exists a semicomputable function formula _ 11 such that
Completely analogous a partial function formula _ 1 is lower semicomputable iff formula _ 10 is upper semicomputable or equivalently if there exists a computable function formula _ 11 such that
This example is not_paraphrase.