{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T15:55:22Z","timestamp":1721922922389},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,9,5]],"date-time":"2013-09-05T00:00:00Z","timestamp":1378339200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s00153-013-0353-8","type":"journal-article","created":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T08:21:55Z","timestamp":1378282915000},"page":"23-42","source":"Crossref","is-referenced-by-count":5,"title":["Interpretability degrees of finitely axiomatized sequential theories"],"prefix":"10.1007","volume":"53","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,9,5]]},"reference":[{"key":"353_CR1","unstructured":"Buss, S.: Cut elimination in situ (2011). http:\/\/math.ucsd.edu\/~sbuss\/"},{"key":"353_CR2","unstructured":"Friedman, H.: Interpretations according to Tarski. This is one of the 2007 Tarski lectures at Berkeley. The lecture is available at http:\/\/www.math.osu.edu\/~friedman.8\/pdf\/Tarski1 ,052407.pdf (2007)"},{"key":"353_CR3","doi-asserted-by":"crossref","unstructured":"Gerhardy, P.: Refined complexity analysis of cut elimination. In: Baaz, M., Makovsky, J. (eds.) Proceedings of the 17th International Workshop CSL 2003, LNCS, vol. 2803, pp. 212\u2013225. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45220-1_19"},{"issue":"2","key":"353_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1305\/ndjfl\/1117755147","volume":"46","author":"P. Gerhardy","year":"2005","unstructured":"Gerhardy P.: The role of quantifier alternations in cut elimination. Notre Dame J. Formal Logic 46(2), 165\u2013171 (2005)","journal-title":"Notre Dame J. Formal Logic"},{"key":"353_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmetic. Perspectives in Mathematical Logic","author":"P. H\u00e1jek","year":"1993","unstructured":"H\u00e1jek P., Pudl\u00e1k P.: Metamathematics of First-Order Arithmetic. Perspectives in Mathematical Logic. Springer, Berlin (1993)"},{"key":"353_CR6","volume-title":"Model Theory. Encyclopedia of Mathematics and its Applications, vol. 42.","author":"W. Hodges","year":"1993","unstructured":"Hodges W.: Model Theory. Encyclopedia of Mathematics and its Applications, vol. 42.. Cambridge University Press, Cambridge (1993)"},{"issue":"1","key":"353_CR7","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF02017501","volume":"26","author":"J. Kraj\u00ed\u010dek","year":"1987","unstructured":"Kraj\u00ed\u010dek J.: A note on proofs of falsehood. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 26(1), 169\u2013176 (1987)","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"issue":"2","key":"353_CR8","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1142\/S0219061308000774","volume":"8","author":"P. Lindstr\u00f6m","year":"2008","unstructured":"Lindstr\u00f6m P., Shavrukov V.Y.: The $${\\forall\\exists}$$ \u2200 \u2203 theory of Peano \u03a31 sentences. J. Math. Logic 8(2), 251\u2013280 (2008)","journal-title":"J. Math. Logic"},{"key":"353_CR9","doi-asserted-by":"crossref","unstructured":"Mycielski, J., Pudl\u00e1k, P., Stern, A. (1990) A lattice of chapters of mathematics (interpretations between theorems). Memoirs of the American Mathematical Society, vol. 426. AMS, Providence, RI","DOI":"10.1090\/memo\/0426"},{"key":"353_CR10","doi-asserted-by":"crossref","first-page":"255","DOI":"10.2307\/1999613","volume":"280","author":"P. Pudl\u00e1k","year":"1983","unstructured":"Pudl\u00e1k P.: Some prime elements in the lattice of interpretability types. Trans. Am. Math. Soc. 280, 255\u2013275 (1983)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"353_CR11","doi-asserted-by":"crossref","first-page":"423","DOI":"10.2307\/2274231","volume":"50","author":"P. Pudl\u00e1k","year":"1985","unstructured":"Pudl\u00e1k P.: Cuts, consistency statements and interpretations. J. Symb. Logic 50(2), 423\u2013441 (1985)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"353_CR12","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s00153-009-0161-3","volume":"49","author":"V. Shavrukov","year":"2010","unstructured":"Shavrukov V.: Effectively inseparable boolean algebras in lattices of sentences. Arch. Math. Logic 49(1), 69\u201389 (2010)","journal-title":"Arch. Math. Logic"},{"key":"353_CR13","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski C.: Nonstandard models and related developments. In: Harrington, L., Morley, M., Scedrov, A., Simpson, S. (eds) Harvey Friedman\u2019s Research on the Foundations of Mathematics, pp. 179\u2013229. North Holland, Amsterdam (1985)","DOI":"10.1016\/S0049-237X(09)70160-0"},{"key":"353_CR14","doi-asserted-by":"crossref","first-page":"190","DOI":"10.2307\/2275024","volume":"54","author":"A. Stern","year":"1989","unstructured":"Stern A.: Sequential theories and infinite distributivity in the lattice of chapters. J. Symb. Logic 54, 190\u2013206 (1989)","journal-title":"J. Symb. Logic"},{"key":"353_CR15","first-page":"789","volume":"19","author":"V. \u0160vejdar","year":"1978","unstructured":"\u0160vejdar V.: Degrees of interpretability. Commentationes Mathematicae Universitatis Carolinae 19, 789\u2013813 (1978)","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"issue":"1","key":"353_CR16","doi-asserted-by":"crossref","first-page":"131","DOI":"10.2307\/2275181","volume":"57","author":"A. Visser","year":"1992","unstructured":"Visser A.: An inside view of EXP. J. Symb. Logic 57(1), 131\u2013165 (1992)","journal-title":"J. Symb. Logic"},{"issue":"4","key":"353_CR17","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01387407","volume":"32","author":"A. Visser","year":"1993","unstructured":"Visser A.: The unprovability of small inconsistency. Arch. Math. Logic 32(4), 275\u2013298 (1993)","journal-title":"Arch. Math. Logic"},{"issue":"1\u20133","key":"353_CR18","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.apal.2004.04.008","volume":"131","author":"A. Visser","year":"2005","unstructured":"Visser A.: Faith & falsity: a study of faithful interpretations and false $${{\\Sigma}^0_1}$$ \u03a3 1 0 -sentences. Ann. Pure Appl. Logic 131(1\u20133), 103\u2013131 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"353_CR19","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s00153-008-0087-1","volume":"47","author":"A. Visser","year":"2008","unstructured":"Visser A.: Pairs, sets and sequences in first order theories. Arch. Math. Logic 47(4), 299\u2013326 (2008)","journal-title":"Arch. Math. Logic"},{"issue":"3","key":"353_CR20","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1017\/S1755020309090261","volume":"2","author":"A. Visser","year":"2009","unstructured":"Visser A.: Cardinal arithmetic in the style of baron von M\u00fcnchhausen. Rev. Symb. Logic 2(3), 570\u2013589 (2009). doi: 10.1017\/S1755020309090261","journal-title":"Rev. Symb. Logic"},{"key":"353_CR21","unstructured":"Visser, A.: What is the right notion of sequentiality? Logic Group preprint series 288. Department of Philosophy, Utrecht University, Janskerkhof 13A, 3512 BL Utrecht (2010). http:\/\/www.phil.uu.nl\/preprints\/lgps\/"},{"key":"353_CR22","doi-asserted-by":"crossref","unstructured":"Visser, A.: Can we make the second incompleteness theorem coordinate free. J. Logic Comput. 21(4), 543\u2013560 (2011). First published online 12 Aug 2009. doi: 10.1093\/logcom\/exp048","DOI":"10.1093\/logcom\/exp048"},{"key":"353_CR23","unstructured":"Visser, A.: The arithmetics of a theory. Logic Group preprint series 293. Department of Philosophy, Utrecht University, Janskerkhof 13A, 3512 BL Utrecht (2012). http:\/\/www.phil.uu.nl\/preprints\/lgps\/"},{"key":"353_CR24","doi-asserted-by":"crossref","unstructured":"Wilkie, A.: On sentences interpretable in systems of arithmetic. In: Logic Colloquium \u201984, Studies in Logic and the Foundations of Mathematics, vol. 120, pp. 329\u2013342. Elsevier (1986). doi: 10.1016\/S0049-237X(08)70469-5 . http:\/\/www.sciencedirect.com\/science\/article\/B8GY3-4V40WBV-P\/2\/d1b5abfef30d1817f5cde479d7e8d313","DOI":"10.1016\/S0049-237X(08)70469-5"},{"key":"353_CR25","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0168-0072(87)90066-2","volume":"35","author":"A. Wilkie","year":"1987","unstructured":"Wilkie A., Paris J.: On the scheme of induction for bounded arithmetic formulas. Ann. Pure Appl. Logic 35, 261\u2013302 (1987)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0353-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-013-0353-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0353-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,23]],"date-time":"2019-07-23T04:45:52Z","timestamp":1563857152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-013-0353-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,5]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["353"],"URL":"https:\/\/doi.org\/10.1007\/s00153-013-0353-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,5]]}}}