English

Sofic profiles of $S(\omega )$ and computability

Logic 2021-01-12 v2 Group Theory

Abstract

We show that for every sofic chunk EE there is a bijective homomorphism f:EcEf: E_c \rightarrow E, where EcE_c is a chunk of the group of computable permutations of N\mathbb{N} so that the approximating morphisms of EE can be viewed as restrictions of permutations of EcE_c to finite subsets of N\mathbb{N}. 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

R2 v1 2026-06-23T13:06:13.139Z