Abstract
This paper investigates the effective categoricity of ultrahomogeneous structures. It is shown that any computable ultrahomogeneous structure is \(\varDelta^0_2\) categorical. A structure \({\mathcal A}\) is said to be weakly ultrahomogeneous if there is a finite (exceptional) set of elements a 1,…,a n such that \({\mathcal A}\) becomes ultrahomogeneous when constants representing these elements are added to the language. Characterizations are obtained for the weakly ultrahomogeneous linear orderings, equivalence structures, and injection structures, and compared with characterizations of the computably categorical and \(\varDelta^0_2\) categorical structures.
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
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.: Computability theoretic properties of injection structures. Algebra and Logic (to appear)
Remmel, J.: Recursively Categorical Linear Orders. Proceedings of the AMS 83, 387–391 (1981)
Csima, B.F., Harizanov, V.S., Miller, R., Montalban, A.: Computability of Fraisse Limits. Journal of Symbolic Logic 76, 66–93 (2011)
Fraisse, R.: Theory of Relations. North-Holland, Amsterdam (1986)
Marker, D.: Model Theory: An Introduction. Springer, New York (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Adams, F., Cenzer, D. (2014). Computability and Categoricity of Ultrahomogeneous Structures. In: Beckmann, A., Csuhaj-Varjú, E., Meer, K. (eds) Language, Life, Limits. CiE 2014. Lecture Notes in Computer Science, vol 8493. Springer, Cham. https://doi.org/10.1007/978-3-319-08019-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-08019-2_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08018-5
Online ISBN: 978-3-319-08019-2
eBook Packages: Computer ScienceComputer Science (R0)