{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T16:47:30Z","timestamp":1775407650063,"version":"3.50.1"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2006,6,14]],"date-time":"2006-06-14T00:00:00Z","timestamp":1150243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2006,8]]},"DOI":"10.1007\/s00153-006-0013-3","type":"journal-article","created":{"date-parts":[[2006,6,13]],"date-time":"2006-06-13T13:51:45Z","timestamp":1150206705000},"page":"769-781","source":"Crossref","is-referenced-by-count":14,"title":["$$\\Pi^0_1$$ -Presentations of Algebras"],"prefix":"10.1007","volume":"45","author":[{"given":"Bakhadyr","family":"Khoussainov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore","family":"Slaman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Semukhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,14]]},"reference":[{"key":"13_CR1","unstructured":"Computability theory and its applications: current trends and open problems. In: Cholak P., Lempp S., Lerman M., Shore R. (eds.) Proceedings of a AMS-IMS-SIAM joint summer research conference (1999)"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2307\/2270692","volume":"35","author":"L. Feiner","year":"1970","unstructured":"Feiner L. (1970) Hierarchies of Boolean algebras. J. Symbo. Log. 35, 365\u2013374","journal-title":"J. Symbo. Log."},{"key":"13_CR3","unstructured":"In: Griffor E. (ed.) Handbook of computability theory, Elsevier Amsterdam (1999)"},{"key":"13_CR4","unstructured":"In: Marek V., Remmel J., Nerode A., Goncharov S., Ershov Yu. (eds.) Handbook of recursive mathematics, vol. 1, 2, Elsevier Amsterdam (1998)"},{"issue":"6","key":"13_CR5","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1007\/BF01988315","volume":"26","author":"N. Kasymov","year":"1987","unstructured":"Kasymov N. (1987) Algebras with finitely approximable positively representable enrichments. Algebra Log. 26(6): 715\u2013730","journal-title":"Algebra Log."},{"issue":"3","key":"13_CR6","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF01978852","volume":"30","author":"N. Kasymov","year":"1991","unstructured":"Kasymov N. (1991) Positive algebras with congruences of finite index. Algebra Log. 30(3): 293\u2013305","journal-title":"Algebra Log."},{"key":"13_CR7","first-page":"3","volume":"116","author":"N. Kasymov","year":"1986","unstructured":"Kasymov N., Khoussainov B. (1986) Finitely generated enumerable and absolutely locally finite algebras. Vychisl. Systemy. 116, 3\u201315","journal-title":"Vychisl. Systemy."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Khoussainov B., Lempp S. Slaman T. (2006) Computably enumerable algebras, their expansions and isomorphisms. The Int. J. Algebra Comput. (accepted)","DOI":"10.1142\/S0218196705002281"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0168-0072(93)90231-2","volume":"59","author":"J. Love","year":"1993","unstructured":"Love J. (1993) Stability among r.e. quotient algebras. Ann. Pure Appl. Log. 59, 55\u201363","journal-title":"Ann. Pure Appl. Log."},{"key":"13_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively enumerable sets and degrees","author":"R. Soare","year":"1987","unstructured":"Soare R. (1987) Recursively enumerable sets and degrees. Springer Berlin Heidelberg, New York"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0013-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-006-0013-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0013-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:41Z","timestamp":1558640201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-006-0013-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,14]]},"references-count":10,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,8]]}},"alternative-id":["13"],"URL":"https:\/\/doi.org\/10.1007\/s00153-006-0013-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6,14]]}}}