Abstract
Let E, F be equivalence relations on ℕ. We say that E is computably reducible to F, written E ≤ F, if there is a computable function p : ℕ → ℕ such that xEy ↔ p(x) F p(y). We show that several natural \(\Sigma^0_3\) equivalence relations are in fact \(\Sigma^0_3\) complete for this reducibility. Firstly, we show that one-one equivalence of computably enumerable sets, as an equivalence relation on indices, is \(\Sigma^0_3\) complete. Thereafter, we show that this equivalence relation is below the computable isomorphism relation on computable structures from classes including predecessor trees, Boolean algebras, and metric spaces. This establishes the \(\Sigma^0_3\) completeness of these isomorphism relations.
The first and the second authors acknowledge the generous support of the FWF through projects Elise-Richter V206, and P22430-N13. The third author is partially supported by the Marsden Fund of New Zealand under grant 09-UOA-187.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bernardi, C., Sorbi, A.: Classifying positive equivalence relations. J. Symb. Log. 48(3), 529–538 (1983)
Brattka, V., Hertling, P., Weihrauch, K.: A tutorial on computable analysis. In: Barry Cooper, S., Löwe, B., Sorbi, A. (eds.) New Computational Paradigms: Changing Conceptions of What is Computable, pp. 425–491. Springer, New York (2008)
Coskey, S., Hamkins, J.D., Miller, R.: The hierarchy of equivalence relations on the natural numbers under computable reducibility, pp. 1–36, http://arxiv.org/abs/1109.3375 (submitted)
Fokina, E.B., Friedman, S.-D., Harizanov, V.S., Knight, J.F., McCoy, C.F.D., Montalbán, A.: Isomorphism relations on computable structures. J. Symb. Log. 77(1), 122–132 (2012)
Friedman, H., Stanley, L.: A Borel reducibility theory for classes of countable structures. Journal of Symbolic Logic 54, 894–914 (1989)
Gao, S.: Invariant descriptive set theory. Pure and Applied Mathematics (Boca Raton), vol. 293. CRC Press, Boca Raton (2009)
Gao, S., Gerdes, P.: Computably enumerable equivalence relations. Studia Logica 67(1), 27–59 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fokina, E., Friedman, S., Nies, A. (2012). Equivalence Relations That Are \(\Sigma^0_3\) Complete for Computable Reducibility. In: Ong, L., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2012. Lecture Notes in Computer Science, vol 7456. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32621-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-32621-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32620-2
Online ISBN: 978-3-642-32621-9
eBook Packages: Computer ScienceComputer Science (R0)