- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Sofic profiles of $$S(\omega )$$ and computability
Archive for Mathematical Logic 60 (3-4):477-494 (2021)
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.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.
A characterization of the $\Sigma_1$ -definable functions of $KP\omega + $.Wolfgang Burr & Volker Hartung - 1998 - Archive for Mathematical Logic 37 (3):199-214.
An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals.Kenshi Miyabe - 2010 - Notre Dame Journal of Formal Logic 51 (3):337-349.
On isometries of the Carathéodory and Kobayashi metrics on strongly pseudoconvex domains.Harish Seshadri & Kaushal Verma - 2006 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 5 (3):393-417.
The Consistency Strength of Successive Cardinals with the Tree Property.Matthew Foreman, Menachem Magidor & Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (4):1837-1847.
Assigning an isomorphism type to a hyperdegree.Howard Becker - 2020 - Journal of Symbolic Logic 85 (1):325-337.
The Beth-Closure of $mathscr{L}(Q_alpha)$ is Not Finitely Generated.Lauri Hella & Kerkko Luosto - 1992 - Journal of Symbolic Logic 57 (2):442-448.
A restricted computation model on Scott domains and its partial primitive recursive functionals.Karl-Heinz Niggl - 1998 - Archive for Mathematical Logic 37 (7):443-481.
Boundary regularity and compactness for overdetermined problems.Ivan Blank & Henrik Shahgholian - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (4):787-802.
Almost everywhere domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.
The veblen functions for computability theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
Relativizing chaitin's halting probability.Rod Downey, Denis R. Hirschfeldt, Joseph S. Miller & André Nies - 2005 - Journal of Mathematical Logic 5 (02):167-192.
Stationary Subsets of $\lbrack \aleph\omega \rbrack^{<\omegan}$.Kecheng Liu - 1994 - Journal of Symbolic Logic 59 (4):1201-1218.
Should Computability Be Epistemic? a Logical and Physical Point of View.Florent Franchette - 2016 - Philosophies 1 (1):15--27.
Analytics
Added to PP
2021-01-02
Downloads
9 (#1,276,707)
6 months
2 (#1,250,897)
2021-01-02
Downloads
9 (#1,276,707)
6 months
2 (#1,250,897)
Historical graph of downloads
References found in this work
Hyperlinear and sofic groups: a brief guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8fb5884b9-q5nzd uwo