{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T11:44:59Z","timestamp":1778931899044,"version":"3.51.4"},"reference-count":20,"publisher":"Wiley","issue":"4-5","license":[{"start":{"date-parts":[[2007,7,26]],"date-time":"2007-07-26T00:00:00Z","timestamp":1185408000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2007,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In mathematics, various representations of real numbers have been investigated. All these representations are mathematically equivalent because they lead to the same real structure \u2013 Dedekind\u2010complete ordered field. Even the effective versions of these representations are equivalent in the sense that they define the same notion of computable real numbers. Although the computable real numbers can be defined in various equivalent ways, if \u201ccomputable\u201d is replaced by \u201cprimitive recursive\u201d (p. r., for short), these definitions lead to a number of different concepts, which we compare in this article. We summarize the known results and add new ones. In particular we show that there is a proper hierarchy among p. r. real numbers by nested interval representation, Cauchy representation, <jats:italic>b<\/jats:italic> \u2010adic expansion representation, Dedekind cut representation, and continued fraction expansion representation. Our goal is to clarify systematically how the primitive recursiveness depends on the representations of the real numbers. (\u00a9 2007 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200710005","type":"journal-article","created":{"date-parts":[[2007,7,26]],"date-time":"2007-07-26T08:46:48Z","timestamp":1185439608000},"page":"365-380","source":"Crossref","is-referenced-by-count":5,"title":["Primitive recursive real numbers"],"prefix":"10.1002","volume":"53","author":[{"given":"Qingliang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xizhong","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,7,26]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"N.Cutland Computability An Introduction to Recursive Function Theory (Cambridge University Press 1980).","DOI":"10.1017\/CBO9781139171496"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267733"},{"key":"e_1_2_1_4_2","unstructured":"G. H.Hardy andE. M.Wright An Introduction to the Theory of Numbers (Oxford University Press 1980)."},{"key":"e_1_2_1_5_2","unstructured":"R.Honsberger Ingenuity in Mathematics 6th printing (Mathematical Association of America 1998)."},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01446417"},{"key":"e_1_2_1_7_2","unstructured":"S. C.Kleene Introduction to Metamathematics (D. Van Nostrand Co. Inc. 1952)."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.2307\/2271331"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.4064\/fm-49-2-105-118","article-title":"On primitive recursive real numbers","volume":"49","author":"Lehman R.","year":"1960","journal-title":"Fundamenta Mathematicae"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.4064\/fm-44-1-37-51","article-title":"On computable sequences","volume":"44","author":"Mostowski A.","year":"1957","journal-title":"Fundamenta Mathematicae"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.2307\/2266321"},{"key":"e_1_2_1_12_2","unstructured":"O.Perron Die Lehre von den Kettenbr\u00fcchen. Dritte verbesserte und erweiterte Auflage. Band II. Analytisch\u2010funktionentheoretische Kettenbr\u00fcche (B. G. Teubner Verlagsgesellschaft 1957)."},{"key":"e_1_2_1_13_2","first-page":"239","article-title":"Zum Begriff der rekursiven reellen Zahlen","volume":"12","author":"P\u00e9ter R.","year":"1950","journal-title":"Acta Scientiarum Mathematicarum Szeged"},{"key":"e_1_2_1_14_2","unstructured":"R.P\u00e9ter Rekursive Funktionen (Akademischer Verlag 1951)."},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","unstructured":"M. B.Pour\u2010El andJ. I.Richards Computability in Analysis and Physics. Perspectives in Mathematical Logic (Springer 1989).","DOI":"10.1007\/978-3-662-21717-7"},{"key":"e_1_2_1_16_2","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1090\/S0002-9939-1954-0063328-5","article-title":"Recursive real numbers","volume":"5","author":"Rice H. G.","year":"1954","journal-title":"Proc. Amer. Math. Soc."},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267933"},{"key":"e_1_2_1_18_2","doi-asserted-by":"crossref","unstructured":"D.Skordev Characterization of the computable real numbers by means of primitive recursive functions. In: Computability and Complexity in Analysis (J. Blanck V. Brattka and P. Hertling eds.). Lecture Notes in Computer Science 2064 pp. 296\u2013309 (Springer 2001).","DOI":"10.1007\/3-540-45335-0_17"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267043"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","unstructured":"K.Weihrauch Computable Analysis An Introduction (Springer 2000).","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200710005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200710005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T03:16:20Z","timestamp":1693451780000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200710005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,26]]},"references-count":20,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["10.1002\/malq.200710005"],"URL":"https:\/\/doi.org\/10.1002\/malq.200710005","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,26]]}}}