{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:43:28Z","timestamp":1774953808921,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s00153-008-0087-1","type":"journal-article","created":{"date-parts":[[2008,6,27]],"date-time":"2008-06-27T06:52:13Z","timestamp":1214549533000},"page":"299-326","source":"Crossref","is-referenced-by-count":22,"title":["Pairs, sets and sequences in first-order theories"],"prefix":"10.1007","volume":"47","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,6,28]]},"reference":[{"key":"87_CR1","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1305\/ndjfl\/1093894080","volume":"11","author":"G.E. Collins","year":"1970","unstructured":"Collins G.E., Halpern J.D.: On the interpretability of arithmetic in set theory. Notre Dame J. Form. Log. 11, 477\u2013483 (1970)","journal-title":"Notre Dame J. Form. Log."},{"issue":"1\u20132","key":"87_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0304-3975(00)00109-2","volume":"257","author":"P. C\u00e9gielski","year":"2001","unstructured":"C\u00e9gielski P., Richard D.: Decidability of the natural integers equipped with the Cantor pairing function and successor. Theor. Comput. Sci. 257(1\u20132), 51\u201377 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"87_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0062837","volume-title":"The computational complexity of logical theories, vol. 718 of Lecture Notes in Mathematics","author":"J. Ferrante","year":"1979","unstructured":"Ferrante J., Rackoff C.W.: The computational complexity of logical theories, vol. 718 of Lecture Notes in Mathematics. Springer, Berlin (1979)"},{"key":"87_CR4","volume-title":"Metamathematics of first-order arithmetic. Perspectives in mathematical logic","author":"P. H\u00e1jek","year":"1991","unstructured":"H\u00e1jek P., Pudl\u00e1k P.: Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer, Berlin (1991)"},{"issue":"1\u20132","key":"87_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1005657917054","volume":"53","author":"J.J. Joosten","year":"2000","unstructured":"Joosten J.J., Visser A.: The interpretability logic of all reasonable arithmetical theories. Erkenntnis 53(1\u20132), 3\u201326 (2000)","journal-title":"Erkenntnis"},{"key":"87_CR6","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1305\/ndjfl\/1094061860","volume":"35","author":"F. Montagna","year":"1994","unstructured":"Montagna F., Mancini A.: A minimal predicative set theory. Notre Dame J. Form. Log. 35, 186\u2013203 (1994)","journal-title":"Notre Dame J. Form. Log."},{"key":"87_CR7","doi-asserted-by":"crossref","unstructured":"Mycielski, J., Pudl\u00e1k, P., Stern, A.S.: A lattice of chapters of mathematics (interpretations between theorems), vol. 426 of Memoirs of the American Mathematical Society. AMS, Providence (1990)","DOI":"10.1090\/memo\/0426"},{"key":"87_CR8","doi-asserted-by":"crossref","DOI":"10.1515\/9781400858927","volume-title":"Predicative arithmetic","author":"E. Nelson","year":"1986","unstructured":"Nelson E.: Predicative arithmetic. Princeton University Press, Princeton (1986)"},{"key":"87_CR9","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."},{"key":"87_CR10","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. Log. 50, 423\u2013441 (1985)","journal-title":"J Symb. Log."},{"issue":"3","key":"87_CR11","doi-asserted-by":"crossref","first-page":"180","DOI":"10.2307\/2268616","volume":"19","author":"W.V. Quine","year":"1954","unstructured":"Quine W.V.: Reduction to a dyadic predicate. J. Symb. Log. 19(3), 180\u2013182 (1954)","journal-title":"J. Symb. Log."},{"key":"87_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0049-237X(09)70160-0","volume-title":"Harvey Friedman\u2019s Research on the foundations of mathematics","author":"C. Smory\u0144ski","year":"1985","unstructured":"Smory\u0144ski C.: Nonstandard models and related developments. In: Harrington, L.A., Morley, M.D., Scedrov, A., Simpson, S.G.(eds) Harvey Friedman\u2019s Research on the foundations of mathematics, pp. 179\u2013229. North Holland, Amsterdam (1985)"},{"key":"87_CR13","unstructured":"Szmielew, W., Tarski, A.: Mutual interpretability of some essentially undecidable theories. In: Proceedings of the International Congress of Mathematicians, vol. 1, p. 734. Cambridge (1950)"},{"key":"87_CR14","volume-title":"Undecidable theories","author":"A. Tarski","year":"1953","unstructured":"Tarski A., Mostowski A., Robinson R.M.: Undecidable theories. North-Holland, Amsterdam (1953)"},{"issue":"4","key":"87_CR15","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2270175","volume":"32","author":"R.A. Vaught","year":"1967","unstructured":"Vaught R.A.: Axiomatizability by a schema. J. Symb. Log. 32(4), 473\u2013479 (1967)","journal-title":"J. Symb. Log."},{"key":"87_CR16","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4613-0609-2_13","volume-title":"Mathematical logic","author":"A. Visser","year":"1990","unstructured":"Visser A.: Interpretability logic. In: Petkov, P.P.(eds) Mathematical logic, pp. 175\u2013209. Plenum Press, New York (1990)"},{"key":"87_CR17","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. Log. 57, 131\u2013165 (1992)","journal-title":"J. Symb. Log."},{"key":"87_CR18","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. Log. 32, 275\u2013298 (1993)","journal-title":"Arch. Math. Log."},{"key":"87_CR19","unstructured":"Visser, A.: An Overview of Interpretability Logic. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in modal logic, vol. 1, issue no. 87, CSLI Lecture Notes, pp. 307\u2013359. Center for the Study of Language and Information, Stanford (1998)"},{"key":"87_CR20","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}$$ -sentences. Ann. Pure Appl. Log. 131, 103\u2013131 (2005)","journal-title":"Ann. Pure Appl. Log."},{"key":"87_CR21","doi-asserted-by":"crossref","unstructured":"Visser, A.: Categories of theories and interpretations. In: Enayat, A., Kalantari, I., Mojtaba, M. (eds.) Logic in Tehran. Proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18\u201322, 2003, vol. 26 of Lecture Notes in Logic, pp. 284\u2013341. ASL, A.K. Peters, Ltd, Wellesley, Mass (2006)","DOI":"10.1017\/9781316755747.019"},{"key":"87_CR22","unstructured":"Visser, A.: Prolegomena to the categorical study of interpretations. Logic Group Preprint Series 249, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, \u2329 http:\/\/www.phil.uu.nl\/preprints\/lgps\/ \u232a (2006)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0087-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T10:35:59Z","timestamp":1557657359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0087-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,28]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["87"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0087-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,28]]}}}