Abstract
We introduce some alternative definitions of the concept of computable automorphism of a set of natural numbers. We study their relationships and investigate whether some classes of sets having isomorphic groups of automorphisms coincide with other classes of sets usual in computability. Finally, we show that the classification of sets by these groups of automorphisms is nontrivial.
Similar content being viewed by others
References
Morozov A. S., “On a class of recursively enumerable sets,” Siberian Mat. J., 28,No. 2, 278-282 (1987).
Schmidt Yu. D., “On the class of special sets,” in: Some Problems of Differential Equations and Discrete Mathematics [in Russian], 1986, pp. 11-19.
Rotman Joseph J., The Theory of Groups. An Introduction, Allyn and Bacon, Boston (1965).
Odifreddi P., Classical Recursion Theory. Vol. 1, North-Holland, Amsterdam etc. (1989).
Rogers H., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Comp., New York; St. Louis; San Francisco; Toronto; London; Sydney (1967).
Ershov Yu. L., “Unsolvability of theories of symmetric and simple finite groups,” Soviet Math. Dokl., 5, 1309-1311 (1964).
McKenzie R., “Automorphism groups of denumerable Boolean algebras,” Canad J. Math., 29,No. 3, 466-471 (1977).
Morozov A. S., “Groups of computable automorphisms,” in: Handbook of Recursive Mathematics. Eds: Yu. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel. Studies in Logic and Foundations of Mathematics. V. 138, Elsevier, Amsterdam; Lausanne; New York; Oxford; Shannon; Singapore; Tokyo, 1998, Chapter 8, pp. 311-345.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Combarro, E.F. On Classifying Subsets of Natural Numbers by Their Computable Permutations. Siberian Mathematical Journal 45, 125–135 (2004). https://doi.org/10.1023/B:SIMJ.0000013017.38330.2b
Issue Date:
DOI: https://doi.org/10.1023/B:SIMJ.0000013017.38330.2b