{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:45:06Z","timestamp":1742989506009,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851936"},{"type":"electronic","value":"9783540851943"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85194-3_18","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T06:21:05Z","timestamp":1219126865000},"page":"220-227","source":"Crossref","is-referenced-by-count":0,"title":["Ultrafilter and Non-standard Turing Machines"],"prefix":"10.1007","author":[{"given":"Petrus H.","family":"Potgieter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elem\u00e9r E.","family":"Rosinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2005.11.040","volume":"358","author":"P.H. Potgieter","year":"2006","unstructured":"Potgieter, P.H.: Zeno machines and hypercomputation. Theoretical Computer Science\u00a0358, 23\u201333 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00682813","volume":"5","author":"M.L. Hogarth","year":"1992","unstructured":"Hogarth, M.L.: Does general relativity allow an observer to view an eternity in a finite time? Found. Phys. Lett.\u00a05(2), 173\u2013181 (1992)","journal-title":"Found. Phys. Lett."},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.amc.2005.09.076","volume":"178","author":"T. Ord","year":"2006","unstructured":"Ord, T.: The many forms of hypercomputation. Appl. Math. Comput.\u00a0178(1), 143\u2013153 (2006)","journal-title":"Appl. Math. Comput."},{"issue":"1","key":"18_CR4","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.amc.2005.09.066","volume":"178","author":"M. Davis","year":"2006","unstructured":"Davis, M.: Why there is no such discipline as hypercomputation. Appl. Math. Comput.\u00a0178(1), 4\u20137 (2006)","journal-title":"Appl. Math. Comput."},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"J.D. Hamkins","year":"2000","unstructured":"Hamkins, J.D., Lewis, A.: Infinite time turing machines. The Journal of Symbolic Logic\u00a065, 567\u2013604 (2000)","journal-title":"The Journal of Symbolic Logic"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1002\/1521-3870(200105)47:2<271::AID-MALQ271>3.0.CO;2-6","volume":"47","author":"J.D. Hamkins","year":"2001","unstructured":"Hamkins, J.D., Seabold, D.E.: Infinite time turing machines with only one tape. MLQ. Mathematical Logic Quarterly\u00a047, 271\u2013287 (2001)","journal-title":"MLQ. Mathematical Logic Quarterly"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00682813","volume":"5","author":"M.L. Hogarth","year":"1992","unstructured":"Hogarth, M.L.: Does general relativity allow an observer to view an eternity in a finite time? Foundations of Physics Letters\u00a05, 173\u2013181 (1992)","journal-title":"Foundations of Physics Letters"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/bjps\/54.2.181","volume":"54","author":"P. Cotogno","year":"2003","unstructured":"Cotogno, P.: Hypercomputation and the physical Church-Turing thesis. British Journal for the Philosophy of Science\u00a054, 181\u2013223 (2003)","journal-title":"British Journal for the Philosophy of Science"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0022-0000(77)80004-4","volume":"15","author":"R.S. Cohen","year":"1977","unstructured":"Cohen, R.S., Gold, A.Y.: Theory of \u03c9-languages. I. Characterizations of \u03c9-context-free languages. Journal of Computer and System Sciences\u00a015, 169\u2013184 (1977)","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/3326643","volume":"15","author":"J. Thomson","year":"1954","unstructured":"Thomson, J.: Tasks and Super-Tasks. Analysis\u00a015, 1\u201313 (1954\u20131955)","journal-title":"Analysis"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF00370549","volume":"47","author":"M.M. Richter","year":"1988","unstructured":"Richter, M.M., Szabo, M.E.: Nonstandard methods in combinatorics and theoretical computer science. Studia Logica\u00a047, 181\u2013191 (1988)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85194-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T04:05:15Z","timestamp":1715400315000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85194-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540851936","9783540851943"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85194-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}