{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:39:20Z","timestamp":1777516760251,"version":"3.51.4"},"reference-count":15,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2017,3,6]],"date-time":"2017-03-06T00:00:00Z","timestamp":1488758400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Computability"],"published-print":{"date-parts":[[2017,10,31]]},"abstract":"<jats:p>This paper investigates the effective categoricity of ultrahomogeneous structures. It is shown that any computable ultrahomogeneous structure is [Formula: see text] categorical. A structure [Formula: see text] is said to be weakly ultrahomogeneous if there is a finite ( exceptional) set of elements [Formula: see text] such that [Formula: see text] becomes ultrahomogeneous when constants representing these elements are added to the language. Characterizations are obtained for weakly ultrahomogeneous linear orderings, equivalence structures, injection structures and trees, and these are compared with characterizations of the computably categorical and [Formula: see text] categorical structures. Index sets are used to determine the complexity of the notions of ultrahomegenous and weakly ultrahomogeneous for various families of structures.<\/jats:p>","DOI":"10.3233\/com-170070","type":"journal-article","created":{"date-parts":[[2017,3,7]],"date-time":"2017-03-07T10:18:28Z","timestamp":1488881908000},"page":"365-389","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computability and categoricity of weakly ultrahomogeneous structures"],"prefix":"10.1177","volume":"6","author":[{"given":"Francis","family":"Adams","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Florida, P.O. Box 118105, Gainesville, Florida 32611, USA."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas","family":"Cenzer","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Florida, P.O. Box 118105, Gainesville, Florida 32611, USA. \u00a0"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2017,3,6]]},"reference":[{"key":"ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08019-2_1"},{"key":"ref002","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.10.002"},{"key":"ref003","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1140641175"},{"key":"ref004","doi-asserted-by":"publisher","DOI":"10.1007\/s10469-014-9270-0"},{"key":"ref005","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1294170990"},{"key":"ref006","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1309952523"},{"key":"ref007","unstructured":"R.\u00a0Fraisse, Theory of Relations, North-Holland, Amsterdam, 1986."},{"key":"ref008","unstructured":"A.H.\u00a0Lachlan, Homogeneous structures, in: Proceedings of the International Congress of Mathematicians, Berkeley, CA, 1986, Vol.\u00a01, Amer. Math. Soc., Providence, RI, 1987, pp.\u00a0314\u2013321."},{"key":"ref009","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1980-0583847-2"},{"key":"ref010","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1107298515"},{"key":"ref011","unstructured":"D.\u00a0Marker, Model Theory: An Introduction, Springer, New York, 2002."},{"key":"ref012","unstructured":"L.\u00a0Marshall, Computability-Theoretic Properties of Partial Injections, Trees, and Nested Equivalences, Ph.D. dissertation, George Washington University, 2015."},{"key":"ref013","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1107298513"},{"key":"ref014","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1981-0624937-1"},{"key":"ref015","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"}],"container-title":["Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/COM-170070","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/COM-170070","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/COM-170070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T15:59:55Z","timestamp":1777391995000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-170070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,6]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,10,31]]}},"alternative-id":["10.3233\/COM-170070"],"URL":"https:\/\/doi.org\/10.3233\/com-170070","relation":{},"ISSN":["2211-3568","2211-3576"],"issn-type":[{"value":"2211-3568","type":"print"},{"value":"2211-3576","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,6]]}}}