{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T21:57:28Z","timestamp":1747173448926,"version":"3.40.5"},"reference-count":15,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T00:00:00Z","timestamp":1665705600000},"content-version":"unspecified","delay-in-days":166,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2022,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper describes three models of the real field based on subsets of the integer sequences. The three models are compared to the Harthong\u2013Reeb line. Two of the new models, contrary to the Harthong\u2013Reeb line, provide accurate integer \u201cviews\u201d on real numbers at a sequence of growing scales <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0960129522000342_inline1.png\"\/><jats:tex-math>\n$B^n$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>(<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0960129522000342_inline2.png\"\/><jats:tex-math>\n$B\\ge2$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>).<\/jats:p>","DOI":"10.1017\/s0960129522000342","type":"journal-article","created":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T00:55:20Z","timestamp":1665708920000},"page":"648-681","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["Some representations of real numbers using integer sequences"],"prefix":"10.1017","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7937-781X","authenticated-orcid":false,"given":"Lo\u00efc","family":"Mazo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Andr\u00e9e","family":"Da Col-Jacob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Fuchs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Magaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00eblle","family":"Skapin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2022,10,14]]},"reference":[{"doi-asserted-by":"publisher","key":"S0960129522000342_ref15","DOI":"10.1007\/BF01187391"},{"unstructured":"M\u00e9nissier-Morain, V. (1995). Arithm\u00e9tique exacte: conception, algorithmique et performances d\u2019une impl\u00e9mentation informatique en pr\u00e9cision arbitraire. PhD thesis, Universit\u00e9 Paris 7.","key":"S0960129522000342_ref13"},{"unstructured":"Diener, F. and Reeb, G. (1989). Analyse Non Standard. Paris (France): <LQ_NY0CBJ>Hermann.","key":"S0960129522000342_ref8"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref7","DOI":"10.1016\/j.tcs.2009.01.032"},{"unstructured":"Harthong, J. (1989). Une th\u00e9orie du continu. In: Les math\u00e9matiques non standard, 307\u2013329.","key":"S0960129522000342_ref9"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref11","DOI":"10.1007\/s10472-014-9434-6"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref1","DOI":"10.1017\/S0960129514000437"},{"doi-asserted-by":"crossref","unstructured":"Laugwitz, D. (1983). $\\Omega$ -calculus as a generalization of field extension: an alternative approach to nonstandard analysis. In: Nonstandard Analysis - Recent developments, LNM, Springer, 120\u2013133.","key":"S0960129522000342_ref10","DOI":"10.1007\/BFb0065337"},{"volume-title":"Theses","year":"2003","author":"Ciaffaglione","key":"S0960129522000342_ref5"},{"unstructured":"Chollet, A. (2010). Non Classical Formalisms for the Computing Treatment of the Topology and the Discrete Geometry. PhD thesis, Universit\u00e9 de La Rochelle.","key":"S0960129522000342_ref2"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref6","DOI":"10.1016\/j.tcs.2005.09.061"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref12","DOI":"10.1007\/s10851-018-0853-6"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref14","DOI":"10.1016\/j.jlap.2004.07.003"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref3","DOI":"10.1016\/j.tcs.2012.07.026"},{"doi-asserted-by":"publisher","key":"S0960129522000342_ref4","DOI":"10.1016\/j.patcog.2008.12.005"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129522000342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,20]],"date-time":"2022-12-20T08:13:37Z","timestamp":1671524017000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129522000342\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["S0960129522000342"],"URL":"https:\/\/doi.org\/10.1017\/s0960129522000342","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[2022,5]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}