{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:20:31Z","timestamp":1772450431676,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T00:00:00Z","timestamp":1474243200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2341-5","type":"journal-article","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T09:11:05Z","timestamp":1474276265000},"page":"39-56","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["On Q"],"prefix":"10.1007","volume":"21","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,19]]},"reference":[{"key":"2341_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139164931","volume-title":"Computability and logic","author":"GS Boolos","year":"2002","unstructured":"Boolos GS, Burgess JP, Jeffrey RC (2002) Computability and logic, 4th edn. Cambridge University Press, Cambridge","edition":"4"},{"issue":"2","key":"2341_CR2","doi-asserted-by":"crossref","first-page":"503","DOI":"10.2307\/2272251","volume":"41","author":"A Bezboruah","year":"1976","unstructured":"Bezboruah A, Shepherdson JC (1976) G\u00f6del\u2019s second incompleteness theorem for Q. J Symb Log 41(2):503\u2013512","journal-title":"J Symb Log"},{"key":"2341_CR3","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1016\/S1385-7258(65)50063-9","volume":"27","author":"KL Bouv\u00e8re de","year":"1965","unstructured":"de Bouv\u00e8re KL (1965a) Logical synonymy. Indag Math 27:622\u2013629","journal-title":"Logical synonymy. Indag Math"},{"key":"2341_CR4","unstructured":"de Bouv\u00e8re KL (1965b) Synonymous theories. In: Addison JW, Henkin L, Tarski A (eds) Proceedings of the 1963 international symposium at the theory of models at Berkeley. North Holland, Amsterdam, pp 402\u2013406"},{"key":"2341_CR5","unstructured":"Friedman H (2007) 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"},{"key":"2341_CR6","unstructured":"Hodges W (1993) Model theory, vol 42. Encyclopedia of mathematics and its applications. Cambridge University Press, Cambridge"},{"key":"2341_CR7","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P, Pudl\u00e1k P (1993) Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer, Berlin","DOI":"10.1007\/978-3-662-22156-3"},{"issue":"3","key":"2341_CR8","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1002\/malq.201200013","volume":"58","author":"E Je\u0159\u00e1bek","year":"2012","unstructured":"Je\u0159\u00e1bek E (2012) Sequence encoding without induction. Math Log Q 58(3):244\u2013248","journal-title":"Math Log Q"},{"key":"2341_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02023013","volume":"23","author":"JP Jones","year":"1983","unstructured":"Jones JP, Shepherdson JC (1983) Variants of Robinson\u2019s essentially undecidable theory R. Archiv Math Logik Grundl 23:61\u201364","journal-title":"Archiv Math Logik Grundl"},{"key":"2341_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of peano arithmetic","author":"R Kaye","year":"1991","unstructured":"Kaye R (1991) Models of peano arithmetic. Oxford University Press, Oxford"},{"key":"2341_CR11","volume-title":"A lattice of chapters of mathematics (interpretations between theorems)","author":"J Mycielski","year":"1990","unstructured":"Mycielski J, Pudl\u00e1k P, Stern AS (1990) A lattice of chapters of mathematics (interpretations between theorems), vol 426. Memoirs of the American Mathematical Society (AMS), Providence"},{"key":"2341_CR12","first-page":"76","volume":"14","author":"A Mostowski","year":"1949","unstructured":"Mostowski A, Tarski A (1949) Undecidability in the arithmetic of integers and in the theory of rings. J Symb Log 14:76","journal-title":"J Symb Log"},{"key":"2341_CR13","doi-asserted-by":"crossref","DOI":"10.1515\/9781400858927","volume-title":"Predicative arithmetic","author":"E Nelson","year":"1986","unstructured":"Nelson E (1986) Predicative arithmetic. Princeton University Press, Princeton"},{"issue":"4","key":"2341_CR14","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1215\/00294527-2008-021","volume":"49","author":"V Pambuccian","year":"2008","unstructured":"Pambuccian V (2008) The sum of irreducible fractions with consecutive denominators is never an integer in $${ PA}^-$$ P A - . Notre Dame J Form Log 49(4):425\u2013429","journal-title":"Notre Dame J Form Log"},{"issue":"1","key":"2341_CR15","doi-asserted-by":"crossref","first-page":"30","DOI":"10.4171\/EM\/242","volume":"69","author":"V Pambuccian","year":"2014","unstructured":"Pambuccian V (2014) The Green\u2013Tao theorem on primes in arithmetical progressions in the positive cone of $${\\mathbb{Z}} [X]$$ Z [ X ] . Elem Math 69(1):30\u201332","journal-title":"Elem Math"},{"key":"2341_CR16","doi-asserted-by":"crossref","unstructured":"Pambuccian V (2015) Schatunowsky\u2019s theorem, Bonse\u2019s inequality, and Chebyshev\u2019s theorem in weak fragments of Peano arithmetic. Math Log Q 61(3):230\u2013235","DOI":"10.1002\/malq.201400064"},{"key":"2341_CR17","doi-asserted-by":"crossref","first-page":"141","DOI":"10.4064\/fm-61-2-141-163","volume":"61","author":"MB Pour-El","year":"1967","unstructured":"Pour-El MB, Kripke S (1967) Deduction-preserving \u201crecursive isomorphisms\u201d between theories. Fundam Math 61:141\u2013163","journal-title":"Fundam Math"},{"key":"2341_CR18","doi-asserted-by":"crossref","first-page":"255","DOI":"10.2307\/1999613","volume":"280","author":"P Pudl\u00e1k","year":"1983","unstructured":"Pudl\u00e1k P (1983) Some prime elements in the lattice of interpretability types. Trans Am Math Soc 280:255\u2013275","journal-title":"Trans Am Math Soc"},{"issue":"2","key":"2341_CR19","doi-asserted-by":"crossref","first-page":"423","DOI":"10.2307\/2274231","volume":"50","author":"P Pudl\u00e1k","year":"1985","unstructured":"Pudl\u00e1k P (1985) Cuts, consistency statements and interpretations. J Symb Log 50(2):423\u2013441","journal-title":"J Symb Log"},{"key":"2341_CR20","unstructured":"Robinson RM (1950) An essentially undecidable axiom system. Proc Int Congr Math 1:729\u2013730"},{"key":"2341_CR21","doi-asserted-by":"crossref","first-page":"190","DOI":"10.2307\/2275024","volume":"54","author":"AS Stern","year":"1989","unstructured":"Stern AS (1989) Sequential theories and infinite distributivity in the lattice of chapters. J Symb Log 54:190\u2013206","journal-title":"J Symb Log"},{"key":"2341_CR22","unstructured":"\u0160vejdar V (2007) An interpretation of Robinson\u2019s arithmetic in its Grzegorczyk\u2019s weaker variant. Fundam Inform 81(1\u20133):347\u2013354"},{"key":"2341_CR23","volume-title":"Undecidable theories","author":"A Tarski","year":"1953","unstructured":"Tarski A, Mostowski A, Robinson RM (1953) Undecidable theories. North-Holland, Amsterdam"},{"key":"2341_CR24","unstructured":"Vaught RL (1962) On a theorem of Cobham concerning undecidable theories. In: Nagel E, Suppes P, Tarski A (eds) Proceedings of the 1960 international congress on logic, methodology and philosophy of science. Stanford University Press, Stanford, pp 14\u201325"},{"key":"2341_CR25","unstructured":"Visser A (2006) Prolegomena to the categorical study of interpretations. Logic Group preprint series No. 249. Utrecht University, Utrecht. http:\/\/www.phil.uu.nl\/preprints\/lgps\/"},{"issue":"4","key":"2341_CR26","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s00153-008-0087-1","volume":"47","author":"A Visser","year":"2008","unstructured":"Visser A (2008) Pairs, sets and sequences in first order theories. Arch Math Log 47(4):299\u2013326","journal-title":"Arch Math Log"},{"issue":"3","key":"2341_CR27","doi-asserted-by":"crossref","first-page":"382","DOI":"10.2178\/bsl\/1344861888","volume":"18","author":"A Visser","year":"2012","unstructured":"Visser A (2012) Vaught\u2019s theorem on axiomatizability by a scheme. Bull Symb Log 18(3):382\u2013402","journal-title":"Bull Symb Log"},{"key":"2341_CR28","unstructured":"Visser A (2013) What is sequentiality? In: C\u00e9gielski P, Cornaros C, Dimitracopoulos C (eds) New studies in weak arithmetics, vol 211. CSLI lecture notes. CSLI Publications and Presses Universitaires du P\u00f4le de Recherche et d\u2019Enseingement Sup\u00e9rieur Paris-est, Stanford, pp 229\u2013269"},{"issue":"1\u20132","key":"2341_CR29","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s00153-013-0353-8","volume":"53","author":"A Visser","year":"2014","unstructured":"Visser A (2014) Interpretability degrees of finitely axiomatized sequential theories. Arch Math Log 53(1\u20132):23\u201342","journal-title":"Arch Math Log"},{"key":"2341_CR30","unstructured":"Visser A (2014) Why the theory $${\\sf R}$$ R is special. In: Tennant N (ed) Foundational adventures. Essays in honour of Harvey Friedman. College Publishing Ltd, London, pp 7\u201323 (originally published online by Templeton Press in 2012). http:\/\/foundationaladventures.com\/"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2341-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2341-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2341-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T12:42:16Z","timestamp":1718800936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2341-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,19]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2341"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2341-5","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,19]]}}}