Sofic profiles of $S(ω)$ and computability

A. Ivanov
DOI: https://doi.org/10.1007/s00153-020-00757-0
2021-01-11
Abstract:We show that for every sofic chunk $E$ there is a bijective homomorphism $f: E_c \rightarrow E$, where $E_c$ is a chunk of the group of computable permutations of $\mathbb{N}$ so that the approximating morphisms of $E$ can be viewed as restrictions of permutations of $E_c$ to finite subsets of $\mathbb{N}$. Using this we study some relevant effectivity conditions associated with sofic chunks and their profiles.
Logic,Group Theory
What problem does this paper attempt to address?