{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:39:38Z","timestamp":1777516778053,"version":"3.51.4"},"reference-count":19,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2018,12,19]]},"DOI":"10.3233\/com-170081","type":"journal-article","created":{"date-parts":[[2017,10,10]],"date-time":"2017-10-10T15:28:15Z","timestamp":1507649295000},"page":"43-65","source":"Crossref","is-referenced-by-count":11,"title":["On subrecursive representability of irrational numbers, part II"],"prefix":"10.1177","volume":"8","author":[{"given":"Lars","family":"Kristiansen","sequence":"first","affiliation":[{"name":"Departments of Mathematics and Informatics, University of Oslo, PO Box 1053, Blindern, NO-0316 Oslo, Norway. larsk@math.uio.no"}]}],"member":"179","reference":[{"key":"10.3233\/COM-170081_ref1","unstructured":"O.\u00a0Aberth, Computable Analysis, MacGraw-Hill, New York, 1980."},{"key":"10.3233\/COM-170081_ref2","unstructured":"S.B.\u00a0Cooper, Computability Theory, Chapman and Hall\/CRC, Boca Raton, FL 2003."},{"issue":"4\u20135","key":"10.3233\/COM-170081_ref3","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1002\/malq.201400013","article-title":"Continued fractions of primitive recursive real numbers","volume":"61","author":"Georgiev","year":"2015","journal-title":"Mathematical Logic Quarterly"},{"key":"10.3233\/COM-170081_ref4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF01744572","article-title":"On the definitions of some complexity classes of real numbers","volume":"16","author":"Ko","year":"1983","journal-title":"Mathematical Systems Theory"},{"key":"10.3233\/COM-170081_ref5","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(86)90154-4","article-title":"On the continued fraction representation of computable real numbers","volume":"47","author":"Ko","year":"1986","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/COM-170081_ref6","doi-asserted-by":"crossref","unstructured":"L.\u00a0Kristiansen, Information content and computational complexity of recursive sets, in: G\u00f6del \u201996, P.\u00a0Hajek, ed., Springer Lecture Notes in Logic, Vol.\u00a06, Springer-Verlag, Heidelberg, 1996, pp.\u00a0235\u2013246.","DOI":"10.1007\/978-3-662-21963-8_17"},{"key":"10.3233\/COM-170081_ref8","doi-asserted-by":"publisher","first-page":"249","DOI":"10.3233\/COM-160063","article-title":"On subrecursive representability of irrational numbers","volume":"6","author":"Kristiansen","year":"2017","journal-title":"Computability"},{"key":"10.3233\/COM-170081_ref9","unstructured":"L.\u00a0Kristiansen, R.\u00a0Lubarsky, J.-C.\u00a0Schlage-Puchta and A.\u00a0Weiermann, On the structure of honest elementary degrees, in: The Infinity Project, S.\u00a0Friedman, M.\u00a0Koerwinen and M.\u00a0M\u00fcller, eds, CRM Documents, Vol.\u00a011, CRM (Centre de Recerca Matematica), Bellaterra (Barcelona), 2012, pp.\u00a0255\u2013279."},{"key":"10.3233\/COM-170081_ref10","doi-asserted-by":"publisher","first-page":"698","DOI":"10.1016\/j.apal.2011.11.004","article-title":"Streamlined subrecursive degree theory","volume":"163","author":"Kristiansen","year":"2012","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.3233\/COM-170081_ref11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(90)90052-4","article-title":"Real numbers, continued fractions and complexity classes","volume":"50","author":"Labhalla","year":"1990","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.3233\/COM-170081_ref12","unstructured":"C.\u00a0Leary and L.\u00a0Kristiansen, A Friendly Introduction to Mathematical Logic, 2nd edn, Milne Library, SUNY Geneseo, Geneseo, NY, 2015."},{"key":"10.3233\/COM-170081_ref13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.4064\/fm-49-2-105-118","article-title":"On primitive recursive real numbers","volume":"49","author":"Lehman","year":"1961","journal-title":"Fundamenta Mathematica"},{"key":"10.3233\/COM-170081_ref14","doi-asserted-by":"crossref","first-page":"37","DOI":"10.4064\/fm-44-1-37-51","article-title":"Computable sequences","volume":"44","author":"Mostowski","year":"1957","journal-title":"Fundamenta Mathematica"},{"key":"10.3233\/COM-170081_ref15","unstructured":"R.\u00a0P\u00e9ter, Rekursive Funktionen, Verlag der Ungarischen Akademie der Wissenschaften, Budapest, 1957, English translation: Academic Press, New York, 1967."},{"key":"10.3233\/COM-170081_ref16","unstructured":"H.E.\u00a0Rose, Subrecursion. Functions and Hierarchies, Clarendon Press, Oxford, 1984."},{"key":"10.3233\/COM-170081_ref17","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1002\/1521-3870(200210)48:1+<91::AID-MALQ91>3.0.CO;2-L","article-title":"Computability of real numbers by using a given class of functions in the set of the natural numbers","volume":"48","author":"Skordev","year":"2002","journal-title":"Mathematical Logic Quarterly"},{"key":"10.3233\/COM-170081_ref18","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1093\/logcom\/exq050","article-title":"M 2 -computable real numbers","volume":"22","author":"Skordev","year":"2008","journal-title":"Journal of Logic and Computation"},{"key":"10.3233\/COM-170081_ref19","doi-asserted-by":"publisher","first-page":"145","DOI":"10.2307\/2267043","article-title":"Nicht Konstruktiv Beweisbare Satze Der Analysis","volume":"14","author":"Specker","year":"1949","journal-title":"Journal of Symbolic Logic"},{"key":"10.3233\/COM-170081_ref21","doi-asserted-by":"crossref","unstructured":"K.\u00a0Weihrauch, Computable Analysis, Springer-Verlag, Berlin, 2000.","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-170081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T15:59:59Z","timestamp":1777391999000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-170081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,19]]},"references-count":19,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/com-170081","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"value":"2211-3576","type":"electronic"},{"value":"2211-3568","type":"print"}],"subject":[],"published":{"date-parts":[[2018,12,19]]}}}