{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T05:19:08Z","timestamp":1772515148205,"version":"3.50.1"},"reference-count":5,"publisher":"Cambridge University Press (CUP)","issue":"7","license":[{"start":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T00:00:00Z","timestamp":1415577600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2015,10]]},"abstract":"<jats:p>We provide a realizability model based on infinite time Turing machines in which there is an injection from the internal Baire space, the object of infinite sequences of numbers, to the object of natural numbers.<\/jats:p>","DOI":"10.1017\/s0960129513000406","type":"journal-article","created":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T12:56:41Z","timestamp":1415624201000},"page":"1484-1489","source":"Crossref","is-referenced-by-count":6,"title":["An injection from the Baire space to natural numbers"],"prefix":"10.1017","volume":"25","author":[{"given":"ANDREJ","family":"BAUER","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,11,10]]},"reference":[{"key":"S0960129513000406_ref2","doi-asserted-by":"publisher","DOI":"10.2307\/2586556"},{"key":"S0960129513000406_ref5","volume-title":"Realizability: An Introduction to its Categorical Side","author":"van Oosten","year":"2008"},{"key":"S0960129513000406_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70129-6"},{"key":"S0960129513000406_ref4","volume-title":"27th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVII)","author":"Oliva","year":"2011"},{"key":"S0960129513000406_ref1","unstructured":"Bauer A. (2000) The Realizability Approach to Computable Analysis and Topology, Ph.D. thesis, Carnegie Mellon University."}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129513000406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T15:00:24Z","timestamp":1555772424000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129513000406\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,10]]},"references-count":5,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["S0960129513000406"],"URL":"https:\/\/doi.org\/10.1017\/s0960129513000406","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,10]]}}}