{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T18:10:11Z","timestamp":1726251011279},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1007\/bf00370389","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:35Z","timestamp":1099439375000},"page":"81-105","source":"Crossref","is-referenced-by-count":29,"title":["The formalization of Interpretability"],"prefix":"10.1007","volume":"50","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"No.3","key":"CR1","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1070\/IM1986v027n03ABEH001183","volume":"27","author":"Artemov","year":"1986","unstructured":"Artemov, 1986, On Modal Logics axiomatizing Provability, Math. USSR Izvestia, Vol 27, No.3, 401?429.","journal-title":"Math. USSR Izvestia"},{"key":"CR2","volume-title":"Thesis","author":"J.H. Bennet","year":"1962","unstructured":"Bennet, J.H., 1962, On spectra, Thesis, Princeton University, Princeton."},{"key":"CR3","volume-title":"Thesis","author":"S. Buss","year":"1985","unstructured":"Buss, S., 1985, Bounded Arithmetic, Thesis, Princeton University, Princeton. Reprinted: 1986, Bibliopolis, Neapoli."},{"key":"CR4","unstructured":"Berarducci, A., The interpretability Logic of Peano Arithmetic, Manuscript, 1988."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S. Feferman","year":"1960","unstructured":"Feferman, S., 1960, em Arithmetization of metamathematics in a general setting, Fund. Math. 49, 33?92.","journal-title":"Fund. Math."},{"key":"CR6","unstructured":"Friedman, H., ?, Translability and relative consistency II."},{"key":"CR7","unstructured":"Gaifman, H. & Dimitracopoulos, C., 1982, Fragments of Peano's Arithmetic and the MRDP theorem, in: Logic and Algorithmic, Monography 30 de 30 de l'Enseignement Mathematique, Gen\ufffdve, 187?206."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1090\/S0002-9947-1979-0539907-7","volume":"254","author":"D. Guaspari","year":"1979","unstructured":"Guaspari, D., 1979, Partially conservative extensions of arithmetic, Transactions of the AMS 254, 47?68.","journal-title":"Transactions of the AMS"},{"key":"CR9","first-page":"73","volume":"12","author":"P. H\ufffdjek","year":"1971","unstructured":"H\ufffdjek, P., 1971, On interpretability in set theories I, Commentationes Mathematicae Universitatis Carolinae 12, 73?79.","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"CR10","first-page":"445","volume":"13","author":"P. H\ufffdjek","year":"1972","unstructured":"H\ufffdjek, P., 1972, On interpretability in set theories II, Commentationes Mathematicae Universitatis Carolinae 13, 445?455.","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"CR11","first-page":"225","volume-title":"Logic Colloquium '78","author":"P. H\ufffdjek","year":"1979","unstructured":"H\ufffdjek, P., 1979, On partially conservative extensions of arithmetic, in: Barwise, J. & al eds., Logic Colloquium '78, North Holland, Amsterdam, 225?234."},{"key":"CR12","unstructured":"H\ufffdjek, P., 19781, Interpretability in theories containing arithmetic II, Commentationes Mathematicae Universitatis Carolinae 22, 667?688."},{"key":"CR13","unstructured":"H\ufffdjek, P., ?, On partially conservative extensions of arithmetic."},{"key":"CR14","unstructured":"H\ufffdjek, P., ?, Positive results on fragments of arithmetic."},{"key":"CR15","unstructured":"H\ufffdjek, P., ?, On logic in fragments of arithmetic."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"131","DOI":"10.4064\/fm-76-2-131-137","volume":"76","author":"P. H\ufffdjek","year":"1972","unstructured":"H\ufffdjek, P., & H\ufffdjkov\ufffd, M., 1972, On interpretability in theories containing arithmetic, Fundamenta Mathematicae 76, 131?137.","journal-title":"Fundamenta Mathematicae"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"H\ufffdjek, P., & Montagna, M., 1989, ILM is the logic of II1 -conservativity, manuscript.","DOI":"10.1007\/BF01634981"},{"key":"CR18","unstructured":"H\ufffdjek, P., & Svejdar, V., 1989, A note on the normal form of closed formulas of Interpretability Logic, manuscript."},{"key":"CR19","unstructured":"Jongh, D.H.J. de & Veltman, F., 1988, Provability logics for relative interpretability, ITLI Prepublication Series, ML-88-03; to appear in the Proceedings of the Heyting Conference, Bulgaria, 1988."},{"key":"CR20","unstructured":"Jongh, D.H. J. de & Visser, A., 1989, Explicit Fixed Points in Interpretability Logic, Logic Group Preprint Series 44, Department of Philosophy, University of Utrecht."},{"key":"CR21","unstructured":"Kalsbeek, M.B., 1988, An Orey Sentence for Predicative Arithmetic, ITLI Prepublication Series X-8-01."},{"key":"CR22","unstructured":"Lindstr\ufffdm, P., 1979, Some results on interpretability, in: Proceedings of the 5th Scandinavian Logic Symposium, Aalborg, 329?361."},{"key":"CR23","unstructured":"Lindstr\ufffdm, P., 1980, Notes on partially conservative sentences and interpretability, Philosophical Communications, Red Series no 13, G\ufffdteborg."},{"key":"CR24","unstructured":"Lindstr\ufffdm, P., 1981, Remarks on provability and interpretability, Philosophical Communications, Red Series no 15, G\ufffdteborg."},{"key":"CR25","unstructured":"Lindstr\ufffdm, P., 1982, More on partially conservative sentences and interpretability, Philosophical Communications, Red Series no 17, G\ufffdteborg."},{"key":"CR26","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BFb0099490","volume-title":"Computation and Proof Theory","author":"P. Lindstr\ufffdm","year":"1984","unstructured":"Lindstr\ufffdm, P., 1984a, On faithful interpretability, in: Richter, M.M. & al eds., Computation and Proof Theory, Logic Colloquium '83, Lecture Notes in Mathematics 1104, Springer Verlag, Berlin, 279?288."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1305\/ndjfl\/1093870573","volume":"25","author":"P. Lindstr\ufffdm","year":"1984","unstructured":"Lindstr\ufffdm, P., 1984b, On certain lattices of degrees of interpretability, Notre Dame Journal of Formal Logic 25, 127?140.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1090\/S0002-9939-1984-0744645-9","volume":"91","author":"P. Lindstr\ufffdm","year":"1984","unstructured":"Lindstr\ufffdm, P., 1984c, On partially conservative sentences and interpretability, Proceedings of the AMS 91, 436?443.","journal-title":"Proceedings of the AMS"},{"key":"CR29","first-page":"432","volume":"2","author":"P. Lindstr\ufffdm","year":"1984","unstructured":"Lindstr\ufffdm, P., 1984d, Provability and interpretability in theories containing arithmetic, Atti degli incontri di logica matematica 2, 432?451.","journal-title":"Atti degli incontri di logica matematica"},{"key":"CR30","volume-title":"Math Notes 32","author":"E. Nelson","year":"1986","unstructured":"Nelson, E., 1986, Predicative Arithmetic, Math Notes 32, Princeton University Press, Princeton."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1002\/malq.19610070710","volume":"7","author":"S. Orey","year":"1961","unstructured":"Orey, S., 1961, Relative Interpretations, Zeitschrift f\ufffdr Mathematische Logik und Grundlagen der Mathematik 7, 146?153.","journal-title":"Zeitschrift f\ufffdr Mathematische Logik und Grundlagen der Mathematik"},{"key":"CR32","first-page":"494","volume":"36","author":"R. Parikh","year":"1971","unstructured":"Parikh, R., 1971, Existence and feasibility in arithmetic, JSL 36, 494?508.","journal-title":"JSL"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"564","DOI":"10.2307\/2273447","volume":"48","author":"J.B. Paris","year":"1983","unstructured":"Paris, J.B., Dimitracopoulos, C., 1983, A note on the undefinability of cuts, JSL 48, 564?569.","journal-title":"JSL"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0168-0072(87)90066-2","volume":"35","author":"J.B. Paris","year":"1987","unstructured":"Paris, J.B., Wilkie, A., 1987, On the scheme of induction for bounded arithmetic formula, Annals for Pure and Applied Logic 35, 261?302.","journal-title":"Annals for Pure and Applied Logic"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1090\/S0002-9947-1983-0712260-2","volume":"280","author":"P. Pudl\ufffdk","year":"1983","unstructured":"Pudl\ufffdk, P., 1983a, Some prime elements in the lattice of interpretability types, Transactions of the AMS 280, 255?275.","journal-title":"Transactions of the AMS"},{"key":"CR36","first-page":"667","volume":"24","author":"P. Pudl\ufffdk","year":"1983","unstructured":"Pudl\ufffdk, P., 1983b, A definition of exponentiation by a bounded arithmetical formula, Commentationes Mathematicae Universitatis Carolinae 24, 667?671.","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"CR37","first-page":"423","volume":"50","author":"P. Pudl\ufffdk","year":"1985","unstructured":"Pudl\ufffdk, P., 1985, Cuts, consistency statements and interpretability, JSL 50, 423?441.","journal-title":"JSL"},{"key":"CR38","unstructured":"Shavrukov, V., Yu., 1988, The Logic of Relative Interpretability over Peano Arithmetic, Preprint 5 of the Steklov Mathematical Institute."},{"key":"CR39","doi-asserted-by":"crossref","unstructured":"Smorynski, C., 1985a, Self-Reference and Modal Logic, Springer Verlag.","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"CR40","doi-asserted-by":"crossref","unstructured":"Smorynski, C., 1985b, Nonstandard models and related developments in the work of Harvey Friedman, in: Harrington, L.A. & alii eds., Harvey Friedman's Research on the Foundations of Mathematics, North Holland, 212?229.","DOI":"10.1016\/S0049-237X(09)70160-0"},{"key":"CR41","unstructured":"Solvay, R., ?, On interpretability in set theories."},{"key":"CR42","first-page":"789","volume":"19","author":"V. Svejdar","year":"1978","unstructured":"Svejdar, V., 1978, Degrees of interpretability, Commentationes Mathematicae Universitatis Carolinae 19, 789?813.","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"CR43","first-page":"661","volume":"22","author":"V. Svejdar","year":"1981","unstructured":"Svejdar, V., 1981, A sentence that is difficult to interpret, Commentationes Mathematicae Universitatis Carolinae 22, 661?666.","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"CR44","doi-asserted-by":"crossref","first-page":"986","DOI":"10.2307\/2273663","volume":"48","author":"V. Svejdar","year":"1983","unstructured":"Svejdar, V., 1983, Modal analysis of generalized Rosser sentences, JSL 48, 986?999.","journal-title":"JSL"},{"key":"CR45","unstructured":"Svejdar, V., 1989, Some independence results in Interpretability Logic, manuscript."},{"key":"CR46","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0168-0072(88)90046-2","volume":"36","author":"G. Takeuti","year":"1988","unstructured":"Takeuti, G., 1988, Bounded arithmetic and truth definition, Annals of Pure & Applied Logic 36, 75?104.","journal-title":"Annals of Pure & Applied Logic"},{"key":"CR47","volume-title":"Undecidable theories","author":"A. Tarski","year":"1953","unstructured":"Tarski, A., Mostowski, A., Robinson, R.M., 1953, Undecidable theories, North Holland, Amsterdam."},{"key":"CR48","first-page":"79","volume":"13","author":"A. Visser","year":"1984","unstructured":"Visser, A., 1984, The provability logics of recursively enumerable theories extending Peano Arithmetic at arbitrary theories extending Peano Arithmetic, Journal of Philosophical Logic 13, 79?113.","journal-title":"Journal of Philosophical Logic"},{"key":"CR49","series-title":"Logic Group Preprint Series","volume-title":"Preliminary Notes on Interpretability Logic","author":"A. Visser","year":"1988","unstructured":"Visser, A., 1988a, Preliminary Notes on Interpretability Logic, Logic Group Preprint Series no 29, Dep. of Philosophy, University of Utrecht, Heidelberglaan 2, 3584CS Utrecht."},{"key":"CR50","series-title":"Logic Group Preprint Series","volume-title":"Interpretability Logic","author":"A. Visser","year":"1988","unstructured":"Visser, A., 1988b, Interpretability Logic, Logic Group Preprint Series no 40, Dep. of Philosophy, University of Utrecht, Heidelberglaan 2, 3584CS Utrecht. To appear in the Proceedings of the Heyting Conference, Bulgaria, 1988."},{"key":"CR51","series-title":"Logic Group Preprint Series","volume-title":"I?0+?1 with a propositional constant for EXPAn inside view of EXP: the dosed fragment of the provability logic of","author":"A. Visser","year":"1989","unstructured":"Visser, A., 1989, An inside view of EXP: the dosed fragment of the provability logic of I?0+?1 with a propositional constant for EXP, Logic Group Preprint Series no 43, Dep. of Philosophy, University of Utrecht, Heidelberglaan 2, 3584CS Utrecht."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370389\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:23:42Z","timestamp":1585938222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF00370389"],"URL":"https:\/\/doi.org\/10.1007\/bf00370389","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}