{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:26Z","timestamp":1725552746973},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340218"},{"type":"electronic","value":"9783540340225"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750321_62","type":"book-chapter","created":{"date-parts":[[2006,5,4]],"date-time":"2006-05-04T06:11:16Z","timestamp":1146723076000},"page":"654-674","source":"Crossref","is-referenced-by-count":5,"title":["The Trade-Off Theorem and Fragments of G\u00f6del\u2019s T"],"prefix":"10.1007","author":[{"given":"Lars","family":"Kristiansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul J.","family":"Voda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"62_CR1","volume-title":"Handbook of Proof Theory","author":"J. Avigad","year":"1998","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s Functional (Dialectica) Interpretation. In: Buss, S. (ed.) Handbook of Proof Theory, Elsevier, Amsterdam (1998)"},{"key":"62_CR2","volume-title":"Logic colloquium 1976","author":"Y.L. Ershov","year":"1977","unstructured":"Ershov, Y.L.: The model C of the Continuous Functionals. In: Logic colloquium 1976, North Holland, Amsterdam (1977)"},{"key":"62_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-540-45220-1_28","volume-title":"Computer Science Logic","author":"L. Kristiansen","year":"2003","unstructured":"Kristiansen, L., Voda, P.J.: The Surprising Power of Restricted Programs and Goedel\u2019s Functionals. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 345\u2013358. Springer, Heidelberg (2003)"},{"key":"62_CR4","first-page":"89","volume":"12","author":"L. Kristiansen","year":"2005","unstructured":"Kristiansen, L., Voda, P.J.: Languages Capturing Complexity Classes. Nordic Journal of Computing\u00a012, 89\u2013115 (2005)","journal-title":"Nordic Journal of Computing"},{"key":"62_CR5","unstructured":"Kristiansen, L., Voda, P.J.: Characterizations of Functionals by Limits, Unpublished. Available from \n                    \n                      http:\/\/www.fmph.uniba.sk\/~voda\n                    \n                    \n                   (Work in progress.)"},{"key":"62_CR6","unstructured":"Kristiansen, L., Voda, P.J.: The Trade-off Theorem and Fragments of G\u00f3del\u2019s T. Unpublished. (A version of this paper containing most of the proofs.), Available from \n                    \n                      http:\/\/www.fmph.uniba.sk\/~voda"},{"key":"62_CR7","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.2307\/2586626","volume":"64","author":"D. Normann","year":"1999","unstructured":"Normann, D., Palmgren, E., Stoltenberg-Hansen, V.: Hyperfinite Type Structures. Journal of Symbolic Logic\u00a064, 1216\u20131242 (1999)","journal-title":"Journal of Symbolic Logic"},{"key":"62_CR8","unstructured":"Normann, D.: A Characterisation of the Continuous Functionals, Seminar note, URL: \n                    \n                      http:\/\/www.math.uio.no\/~dnormann\/Seminar.0803.pdf"},{"key":"62_CR9","volume-title":"Mathematical Logic","author":"J. Shoenfield","year":"1967","unstructured":"Shoenfield, J.: Mathematical Logic. Addison-Wesley, Reading (1967)"},{"key":"62_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K. Sch\u00fatte","year":"1977","unstructured":"Sch\u00fatte, K.: Proof Theory. Springer, Heidelberg (1977)"},{"key":"62_CR11","volume-title":"Handbook of computability theory","author":"H. Schwichtenberg","year":"1999","unstructured":"Schwichtenberg, H.: Classifying Recursive Functions. In: Griffor, E.R. (ed.) Handbook of computability theory, Elsevier, Amsterdam (1999)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750321_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:56:50Z","timestamp":1619506610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750321_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340218","9783540340225"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11750321_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}