{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:43:55Z","timestamp":1743104635319,"version":"3.40.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319587400"},{"type":"electronic","value":"9783319587417"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58741-7_18","type":"book-chapter","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T12:59:28Z","timestamp":1494507568000},"page":"175-186","source":"Crossref","is-referenced-by-count":3,"title":["Admissibles in Gaps"],"prefix":"10.1007","author":[{"given":"Merlin","family":"Carl","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Durand","sequence":"additional","affiliation":[]},{"given":"Gr\u00e9gory","family":"Lafitte","sequence":"additional","affiliation":[]},{"given":"Sabrina","family":"Ouazzani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,12]]},"reference":[{"key":"18_CR1","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures: An Approach to Definability Theory","author":"J Barwise","year":"1975","unstructured":"Barwise, J.: Admissible Sets and Structures: An Approach to Definability Theory. Perspectives in Mathematical Logic, vol. 7. Springer, Heidelberg (1975)"},{"key":"18_CR2","unstructured":"Durand, B., Lafitte, G.: A constructive swiss knife for infinite time turing machines (2016)"},{"issue":"2","key":"18_CR3","doi-asserted-by":"crossref","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"JD Hamkins","year":"2000","unstructured":"Hamkins, J.D., Lewis, A.: Infinite time turing machines. J. Symbolic Log. 65(2), 567\u2013604 (2000)","journal-title":"J. Symbolic Log."},{"issue":"3","key":"18_CR4","doi-asserted-by":"crossref","first-page":"1193","DOI":"10.2307\/2586695","volume":"65","author":"PD Welch","year":"2000","unstructured":"Welch, P.D.: Eventually infinite time turing degrees: Infinite time decidable reals. J. Symbolic Log. 65(3), 1193\u20131203 (2000)","journal-title":"J. Symbolic Log."},{"issue":"2","key":"18_CR5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1112\/S0024609399006657","volume":"32","author":"PD Welch","year":"2000","unstructured":"Welch, P.D.: The length of infinite time turing machine computations. Bull. London Math. Soc. 32(2), 129\u2013136 (2000)","journal-title":"Bull. London Math. Soc."},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1007\/11494645_65","volume-title":"New Computational Paradigms","author":"PD Welch","year":"2005","unstructured":"Welch, P.D.: The transfinite action of 1 tape turing machines. In: Cooper, S.B., L\u00f6we, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 532\u2013539. Springer, Heidelberg (2005). doi:\n10.1007\/11494645_65"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1016\/j.tcs.2008.09.050","volume":"410","author":"PD Welch","year":"2009","unstructured":"Welch, P.D.: Characteristics of discrete transfinite time turing machine models: Halting times, stabilization times, and normal form theorems. Theoret. Comput. Sci. 410, 426\u2013442 (2009)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Unveiling Dynamics and Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58741-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T09:02:17Z","timestamp":1504170137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58741-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319587400","9783319587417"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58741-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}