Computable dyadic subbases and ${\mathbf{T}}^{\omega }$-representations of compact sets

Arno Pauly, Hideki Tsuiki

We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces…