{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:52Z","timestamp":1759146892173},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2014,8,8]],"date-time":"2014-08-08T00:00:00Z","timestamp":1407456000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s00153-014-0394-7","type":"journal-article","created":{"date-parts":[[2014,8,7]],"date-time":"2014-08-07T10:11:24Z","timestamp":1407406284000},"page":"881-895","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["The de Jongh property for Basic Arithmetic"],"prefix":"10.1007","volume":"53","author":[{"given":"Mohammad","family":"Ardeshir","sequence":"first","affiliation":[]},{"given":"S. Mojtaba","family":"Mojtahedi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,8]]},"reference":[{"issue":"1","key":"394_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/jigpal\/jzm013","volume":"16","author":"M. Ardeshir","year":"2008","unstructured":"Ardeshir M., Hesaam B.: An introduction to Basic Arithmetic. Logic J. IGPL. 16(1), 1\u201313 (2008)","journal-title":"Logic J. IGPL."},{"key":"394_CR2","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M. Ardeshir","year":"1998","unstructured":"Ardeshir M., Ruitenburg W.: Basic propositional calculus I. Math. Logic Q. 44, 317\u2013343 (1998)","journal-title":"Math. Logic Q."},{"key":"394_CR3","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2307\/2274474","volume":"55","author":"A. Berarducci","year":"1990","unstructured":"Berarducci A.: The interpretability logic of Peano arithmetic. J. Symb. Logic 55, 1059\u20131089 (1990)","journal-title":"J. Symb. Logic"},{"key":"394_CR4","first-page":"606","volume":"36","author":"D. Jongh de","year":"1970","unstructured":"de Jongh D.: The maximality of the intuitionistic predicate calculus with respect to Heyting\u2019s Arithmetic. J. Symb. Logic 36, 606 (1970)","journal-title":"J. Symb. Logic"},{"key":"394_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/s00153-010-0209-4","volume":"50","author":"D. Jongh de","year":"2011","unstructured":"de Jongh D., Verbrugge R., Visser A.: Intermediate logics and the de Jongh property. Arch. Math. Logic 50, 197\u2013213 (2011)","journal-title":"Arch. Math. Logic"},{"key":"394_CR6","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.: Arithmetization of metamathematics in a general setting. Fundam. Math. 49, 33\u201392 (1960)","journal-title":"Fundam. Math."},{"key":"394_CR7","unstructured":"Gaifman, H., Dimitracopoulos, C.: Fragments of Peano Arithmetic and the MRDP-theorem. In: Logic and Algorithmic, Monographie n.30 de l\u2019Einsegnement Mathematique, Geneve 1982, pp. 187\u2013206"},{"key":"394_CR8","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.: Models of Peano Arithmetic. Clarendon Press, Oxford (1991)"},{"key":"394_CR9","unstructured":"Matiyasevich, Y.V.: Hilbert\u2019s Tenth Problem. MIT Press, Cambridge (1993)"},{"key":"394_CR10","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1305\/ndjfl\/1039293019","volume":"39","author":"W. Ruitenburg","year":"1998","unstructured":"Ruitenburg W.: Basic predicate calculus. Notre Dame J. Formal Logic 39, 18\u201346 (1998)","journal-title":"Notre Dame J. Formal Logic"},{"key":"394_CR11","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C.: Self-reference and Modal Logic, Universitext. Springer, Berlin (1985)","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"394_CR12","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C.: Applications of Kripke models. In: Troelstra, A.S. (ed.) Metamathematical Investigations of Intuitionistic Arithmetic and Analysis, Springer Lecture Notes in Mathematics, vol. 344, pp. 324\u2013391. Springer, Berlin (1973)","DOI":"10.1007\/BFb0066744"},{"key":"394_CR13","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R.M. Solovay","year":"1976","unstructured":"Solovay R.M.: Provability interpretations of modal logic. Isr. J. Math. 25, 287\u2013304 (1976)","journal-title":"Isr. J. Math."},{"key":"394_CR14","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 1. North-Holland, Amsterdam (1988)"},{"key":"394_CR15","doi-asserted-by":"crossref","unstructured":"Visser, A.: Interpretability logic. In: Mathematical Logic, Proceedings of the 1988 Heyting Conference, pp. 307\u2013359. Plenum Press, New York (1990)","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"394_CR16","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"A. Visser","year":"1981","unstructured":"Visser A.: A propositional logic with explicit fixed points. Stud. Logica 40, 155\u2013175 (1981)","journal-title":"Stud. Logica"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0394-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0394-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0394-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:54:41Z","timestamp":1717203281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0394-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,8]]},"references-count":16,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["394"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0394-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,8]]}}}