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

Archive for Mathematical Logic 60 (3-4):477-494 (2021)
  Copy   BIBTEX

Abstract

We show that for every sofic chunk E there is a bijective homomorphism \, where \ is a chunk of the group of computable permutations of \ so that the approximating morphisms of E 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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-020-00757-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hyperlinear and sofic groups: a brief guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.
Isomorphism types of maximal cofinitary groups.Bart Kastermans - 2009 - Bulletin of Symbolic Logic 15 (3):300-319.
The finite subsets and the permutations with finitely many non‐fixed points of a set.Jukkrid Nuntasri, Supakun Panasawatwong & Pimpen Vejjajiva - 2021 - Mathematical Logic Quarterly 67 (2):258-263.
Independent families of functions and permutations.Nattapon Sonpanow & Pimpen Vejjajiva - 2020 - Mathematical Logic Quarterly 66 (3):311-315.
Factorials and the finite sequences of sets.Nattapon Sonpanow & Pimpen Vejjajiva - 2019 - Mathematical Logic Quarterly 65 (1):116-120.
The permutations with n_ non‐fixed points and the subsets with _n elements of a set.Supakun Panasawatwong & Pimpen Vejjajiva - 2023 - Mathematical Logic Quarterly 69 (3):341-346.
Finite computable dimension does not relativize.Charles F. D. McCoy - 2002 - Archive for Mathematical Logic 41 (4):309-320.
Chunk and permeate, a paraconsistent inference strategy. Part I: The infinitesimal calculus.Bryson Brown & Graham Priest - 2004 - Journal of Philosophical Logic 33 (4):379-388.
Type-2 computability on spaces of integrables functions.Daren Kunkle - 2004 - Mathematical Logic Quarterly 50 (4):417.
Constructing an almost hyperdefinable group.Itay Ben-Yaacov, Ivan Tomašić & Frank O. Wagner - 2004 - Journal of Mathematical Logic 4 (02):181-212.

Analytics

Added to PP
2021-01-02

Downloads
9 (#1,266,389)

6 months
2 (#1,445,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Hyperlinear and sofic groups: a brief guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.

Add more references