Definition 3.1. We define computably metrized space to be ⇤-effectively compact if the collection of all finite covers of M by basic open balls can be given as ...
確定! 回上一頁