Sofic profiles of $S(\omega )$ and computability
Logic
2021-01-12 v2 Group Theory
Abstract
We show that for every sofic chunk there is a bijective homomorphism , where is a chunk of the group of computable permutations of so that the approximating morphisms of can be viewed as restrictions of permutations of to finite subsets of . Using this we study some relevant effectivity conditions associated with sofic chunks and their profiles.
Keywords
Cite
@article{arxiv.2001.02648,
title = {Sofic profiles of $S(\omega )$ and computability},
author = {A. Ivanov},
journal= {arXiv preprint arXiv:2001.02648},
year = {2021}
}
Comments
This is a revised version of the paper, 21 pages