{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:08:20Z","timestamp":1706659700843},"reference-count":42,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2015,1,1]]},"DOI":"10.1215\/00294527-2835029","type":"journal-article","created":{"date-parts":[[2015,3,24]],"date-time":"2015-03-24T13:17:01Z","timestamp":1427203021000},"source":"Crossref","is-referenced-by-count":3,"title":["The Arithmetics of a Theory"],"prefix":"10.1215","volume":"56","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"7","unstructured":"[7] Buss, S., \u201cCut elimination in situ<\/i>,\u201d preprint, 2013, http:\/\/math.ucsd.edu\/~sbuss\/ResearchWeb\/index.html<\/a>."},{"key":"1","unstructured":"[1] Artemov, S., and L. Beklemishev, \u201cProvability logic,\u201d pp. 229\u2013403 in Handbook of Philosophical Logic, Volume 13<\/i>, 2nd edition, edited by D. Gabbay and F. Guenthner, Springer, Dordrecht, 2004."},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Beklemishev, L., and A. Visser, \u201cOn the limit existence principles in elementary arithmetic and $\\Sigma^{0}_{n}$-consequences of theories,\u201d Annals of Pure and Applied Logic<\/i>, vol. 136 (2005), pp. 56\u201374.","DOI":"10.1016\/j.apal.2005.05.005"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Beklemishev, L., and A. Visser, \u201cProblems in the Logic of Provability,\u201d pp. 77\u2013136 in Mathematical Problems from Applied Logic, I: Logics for the XXIst Century<\/i>, edited by D. M. Gabbay, S. S. Concharov, and M. Zakharyashev, vol. 4 of International Mathematical Series<\/i>, Springer, New York, 2006.","DOI":"10.1007\/0-387-31072-X_2"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Boolos, G., The Logic of Provability<\/i>, Cambridge Univ. Press, Cambridge, 1993.","DOI":"10.1017\/CBO9780511625183"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Boolos, G., and G. Sambin, \u201cProvability: The emergence of a mathematical modality,\u201d Studia Logica<\/i>, vol. 50 (1991), pp. 1\u201323.","DOI":"10.1007\/BF00370383"},{"key":"6","unstructured":"[6] Buss, S. R., Bounded Arithmetic: Studies in Proof Theory<\/i>, vol. 3 of Lecture Notes<\/i>, Bibliopolis, Napoli, 1986."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Cord\u00f3n-Franco, A., A. Fern\u00e1ndez-Margarit, and F. Lara-Mart\u00edn, \u201cA note on parameter free ${\\Pi}_{1}$-induction and restricted exponentiation,\u201d Mathematical Logic Quarterly<\/i>, vol. 57 (2011), pp. 444\u201355.","DOI":"10.1002\/malq.201010013"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] de Jongh, D., M. Jumelet, and F. Montagna, \u201cOn the proof of Solovay\u2019s theorem,\u201d Studia Logica<\/i>, vol. 50 (1991), pp. 51-69.","DOI":"10.1007\/BF00370387"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Feferman, S., \u201cArithmetization of metamathematics in a general setting,\u201d Fundamenta Mathematicae<\/i>, vol. 49 (1960), pp. 35\u201392.","DOI":"10.4064\/fm-49-1-35-92"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Feferman, S., \u201cMy route to arithmetization: The arithmetization of metamathematics,\u201d Theoria<\/i>, vol. 63 (1997), pp. 168\u201381.","DOI":"10.1111\/j.1755-2567.1997.tb00746.x"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Gerhardy, P., \u201cRefined complexity analysis of cut elimination,\u201d pp. 212\u201325 in Computer Science Logic<\/i>, edited by M. Baaz and J. Makovsky, vol. 2803 of Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2003.","DOI":"10.1007\/978-3-540-45220-1_19"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Gerhardy, P., \u201cThe role of quantifier alternations in cut elimination,\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 46 (2005), pp. 165\u201371.","DOI":"10.1305\/ndjfl\/1117755147"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Guaspari, D., and R. M. Solovay, \u201cRosser sentences,\u201d Annals of Mathematical Logic<\/i>, vol. 16 (1979), pp. 81\u201399.","DOI":"10.1016\/0003-4843(79)90017-2"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] H\u00e1jek, P., and P. Pudl\u00e1k, Metamathematics of First-Order Arithmetic<\/i>, vol. 3 of Perspectives in Mathematical Logic<\/i>, Springer, Berlin, 1993.","DOI":"10.1007\/978-3-662-22156-3"},{"key":"16","unstructured":"[16] Hodges, W., Model Theory<\/i>, vol. 42 of Encyclopedia of Mathematics and Its Applications<\/i>, Cambridge Univ. Press, Cambridge, 1993."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Japaridze, G., and D. de Jongh, \u201cThe logic of provability,\u201d pp. 475\u2013546 in Handbook of Proof Theory<\/i>, edited by S. Buss, vol. 137 of Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1998.","DOI":"10.1016\/S0049-237X(98)80022-0"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Kaye, R., J. B. Paris, and C. Dimitracopoulos, \u201cOn parameter-free induction schemas,\u201d Journal of Symbolic Logic<\/i>, vol. 53 (1988), pp. 1082\u201397.","DOI":"10.2307\/2274606"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Kraj\u00ed\u010dek, J., \u201cA note on proofs of falsehood,\u201d Archiv f\u00fcr Mathematische Logik und Grundlagenforschung<\/i>, vol. 26 (1987), pp. 169\u201376.","DOI":"10.1007\/BF02017501"},{"key":"20","unstructured":"[20] Lesan, H., \u201cModels of arithmetic,\u201d Ph.D. dissertation, University of Manchester, Manchester, 1978."},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Lindstr\u00f6m, P., \u201cProvability logic: A short introduction,\u201d pp. 19\u201361 in Philosophy in Sweden (Ume\u00e5, 1995)<\/i>, vol. 62 of Theoria<\/i>, Theoria, Stockholm, 1996.","DOI":"10.1111\/j.1755-2567.1996.tb00529.x"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Mycielski, J., P. Pudl\u00e1k, and A. S. Stern, \u201cA lattice of chapters of mathematics (interpretations between theorems [theories]),\u201d Memoirs of the American Mathematical Society<\/i>, vol. 84 (1990), no. 426.","DOI":"10.1090\/memo\/0426"},{"key":"23","unstructured":"[23] Paris, J. B., and C. Dimitracopoulos, \u201cTruth definitions for $\\Delta_{0}$ formulae,\u201d pp. 317\u201329 in Logic and Algorithmic (Zurich, 1980)<\/i>, vol. 30 of Monographies de L\u2019Enseignement Math\u00e9matique<\/i>, Universit\u00e9 de Gen\u00e8ve, Geneva, 1982."},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Pudl\u00e1k, P., \u201cSome prime elements in the lattice of interpretability types,\u201d Transactions of the American Mathematical Society<\/i>, vol. 280 (1983), pp. 255\u201375.","DOI":"10.1090\/S0002-9947-1983-0712260-2"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Pudl\u00e1k, P., \u201cCuts, consistency statements and interpretations,\u201d Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 423\u201341.","DOI":"10.2307\/2274231"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Pudl\u00e1k, P., \u201cOn the length of proofs of finitistic consistency statements in first order theories,\u201d pp. 165\u201396 in Logic Colloquium \u201984 (Manchester, England, 1984)<\/i>, vol. 120 of Studies in Logic and the Foundations of Mathematics<\/i>, edited by J. B. Paris, A. J. Wilkie, and G. M. Wilmers, North-Holland, Amsterdam, 1986.","DOI":"10.1016\/S0049-237X(08)70462-2"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Smory\u0144ski, C., \u201cNonstandard models and related developments,\u201d pp. 179\u2013229 in Harvey Friedman\u2019s Research on the Foundations of Mathematics<\/i>, edited by L. A. Harrington, M. D. Morley, A. Scedrov, and S. G. Simpson, vol. 117 of Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1985.","DOI":"10.1016\/S0049-237X(09)70160-0"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Smory\u0144ski, C., Self-Reference and Modal Logic<\/i>, Universitext, Springer, New York, 1985.","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"29","unstructured":"[29] \u0160vejdar, V., \u201cOn provability logic,\u201d Nordic Journal of Philosophical Logic<\/i>, vol. 4 (1999), pp. 95\u2013116."},{"key":"30","unstructured":"[30] Verbrugge, L., \u201cEfficient metamathematics,\u201d Ph.D. dissertation, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, 1993."},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Visser, A., \u201cInterpretability logic,\u201d pp. 175\u2013209 in Mathematical Logic<\/i>, edited by P. P. Petkov, Plenum, New York, 1990.","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Visser, A., \u201cThe formalization of interpretability,\u201d Studia Logica<\/i>, vol. 50 (1991), pp. 81\u2013105.","DOI":"10.1007\/BF00370389"},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] Visser, A., \u201cOn the ${\\Sigma}^{0}_{1}$-conservativity of ${\\Sigma}^{0}_{1}$-completeness,\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 554\u201361.","DOI":"10.1305\/ndjfl\/1093635927"},{"key":"34","doi-asserted-by":"publisher","unstructured":"[34] Visser, A., \u201cAn inside view of $\\mathsf{EXP}$,\u201d Journal of Symbolic Logic<\/i>, vol. 57 (1992), pp. 131\u201365.","DOI":"10.2307\/2275181"},{"key":"35","doi-asserted-by":"publisher","unstructured":"[35] Visser, A., \u201cThe unprovability of small inconsistency: A study of local and global interpretability,\u201d Archive for Mathematical Logic<\/i>, vol. 32 (1993), pp. 275\u201398.","DOI":"10.1007\/BF01387407"},{"key":"36","doi-asserted-by":"publisher","unstructured":"[36] Visser, A., \u201cFaith and Falsity: A study of faithful interpretations and false ${\\Sigma}^{0}_{1}$-sentences,\u201d Annals of Pure and Applied Logic<\/i>, vol. 131 (2005), pp. 103\u201331.","DOI":"10.1016\/j.apal.2004.04.008"},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] Visser, A., \u201cCardinal arithmetic in the style of Baron von M\u00fcnchhausen,\u201d Review of Symbolic Logic<\/i>, vol. 2 (2009), pp. 570\u201389.","DOI":"10.1017\/S1755020309090261"},{"key":"38","doi-asserted-by":"publisher","unstructured":"[38] Visser, A., \u201cCan we make the second incompleteness theorem coordinate free?,\u201d Journal of Logic and Computation<\/i>, vol. 21 (2011), pp. 543\u201360.","DOI":"10.1093\/logcom\/exp048"},{"key":"39","unstructured":"[39] Visser, A., \u201cAspects of diagonalization and provability,\u201d Ph.D. dissertation, Utrecht University, Netherlands, 1981."},{"key":"40","unstructured":"[40] Visser, A., \u201cWhat is sequentiality?,\u201d pp. 229\u201369 in New Studies in Weak Arithmetics<\/i>, vol. 211 of CSLI Lecture Notes, CSLI Publications and Presses Universitaires du P\u00f4le de Recherche et d\u2019Enseignement Sup\u00e9rieur Paris-est, Stanford, 2013."},{"key":"41","doi-asserted-by":"publisher","unstructured":"[41] Visser, A., \u201cPeano Basso and Peano Corto,\u201d Mathematical Logic Quarterly, vol. 60 (2014), pp. 92\u2013117.","DOI":"10.1002\/malq.201200102"},{"key":"42","doi-asserted-by":"publisher","unstructured":"[42] Wilkie, A. J., and J. B. Paris, \u201cOn the scheme of induction for bounded arithmetic formulas,\u201d Annals of Pure and Applied Logic<\/i>, vol. 35 (1987), pp. 261\u2013302.","DOI":"10.1016\/0168-0072(87)90066-2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2835029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:24Z","timestamp":1706648304000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-56\/issue-1\/The-Arithmetics-of-a-Theory\/10.1215\/00294527-2835029.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,1]]},"references-count":42,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2835029","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2015,1,1]]}}}