Abstract
We study computability theoretic properties of computable injection structures and the complexity of isomorphisms between these structures.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ash, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. In: Studies in Logic and the Foundations of Mathematics, vol. 144, North-Holland Publishing Co., Amsterdam (2000)
Calvert, W., Cenzer, D., Harizanov, V., Morozov, A.: Effective categoricity of equivalence structures. Annals of Pure and Applied Logic 141, 61–78 (2006)
Cenzer, D., Harizanov, V., Remmel, J.B.: \(\Sigma^0_1\) and \(\Pi^0_1\) equivalence structures. Annals of Pure and Applied Logic 162, 490–503 (2011)
Cenzer, D., LaForte, G., Remmel, J.B.: Equivalence structures and isomorphisms in the difference hierarchy. Journal of Symbolic Logic 74, 535–556 (2009)
Cenzer, D., Remmel, J.B.: Feasibly categorical abelian groups. In: Clote, P., Remmel, J.B. (eds.) Feasible Math II, Proceedings 1992 Cornell Workshop, Birkhauser, pp. 91–153 (1995)
Khisamiev, N.G.: Constructive Abelian groups, In: Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics, vol. 2, pp. 1177–1231. North-Holland, Amsterdam (1998)
Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, Berlin (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cenzer, D., Harizanov, V., Remmel, J.B. (2011). Effective Categoricity of Injection Structures. In: Löwe, B., Normann, D., Soskov, I., Soskova, A. (eds) Models of Computation in Context. CiE 2011. Lecture Notes in Computer Science, vol 6735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21875-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-21875-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21874-3
Online ISBN: 978-3-642-21875-0
eBook Packages: Computer ScienceComputer Science (R0)