{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:06Z","timestamp":1740108186436,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T00:00:00Z","timestamp":1612310400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T00:00:00Z","timestamp":1612310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2017\/27\/B\/HS1\/01830"],"award-info":[{"award-number":["2017\/27\/B\/HS1\/01830"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a construction of a truth class (an interpretation of a compositional truth predicate) in an arbitrary countable recursively saturated model of first-order arithmetic. The construction is fully classical in that it employs nothing more than the classical techniques of formal proof theory.<\/jats:p>","DOI":"10.1007\/s00153-020-00758-z","type":"journal-article","created":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T10:12:39Z","timestamp":1612347159000},"page":"749-770","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Interpreting the compositional truth predicate in models of\u00a0arithmetic"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7082-8776","authenticated-orcid":false,"given":"Cezary","family":"Cie\u015bli\u0144ski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,3]]},"reference":[{"issue":"3","key":"758_CR1","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10992-010-9128-4","volume":"39","author":"C Cie\u015bli\u0144ski","year":"2010","unstructured":"Cie\u015bli\u0144ski, C.: Deflationary truth and pathologies. J. Philos. Log. 39(3), 325\u2013337 (2010)","journal-title":"J. Philos. Log."},{"issue":"1","key":"758_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1111\/1746-8361.12093","volume":"69","author":"C Cie\u015bli\u0144ski","year":"2015","unstructured":"Cie\u015bli\u0144ski, C.: The innocence of truth. Dialectica 69(1), 61\u201385 (2015). https:\/\/doi.org\/10.1111\/1746-8361.12093","journal-title":"Dialectica"},{"key":"758_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781108178600","volume-title":"The Epistemic Lightness of Truth, Deflationism and its Logic","author":"C Cie\u015bli\u0144ski","year":"2017","unstructured":"Cie\u015bli\u0144ski, C.: The Epistemic Lightness of Truth, Deflationism and its Logic. Cambridge University Press, Cambridge (2017)"},{"key":"758_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-662-58771-3_12","volume-title":"Logic and Its Applications","author":"C Cie\u015bli\u0144ski","year":"2019","unstructured":"Cie\u015bli\u0144ski, C.: Satisfaction classes via cut elimination. In: Manuel, A., Khan, M.A. (eds.) Logic and Its Applications. Lecture Notes in Computer Science, vol. 11600, pp. 121\u2013131. Springer, New York (2019)"},{"key":"758_CR5","unstructured":"Enayat, A., Visser, A.: Full satisfaction classes in a general setting (Part 1). Unpublished draft (2012)"},{"key":"758_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-94-017-9673-6_16","volume-title":"Unifying the Philosophy of Truth","author":"A Enayat","year":"2015","unstructured":"Enayat, A., Visser, A.: New construction of satisfaction classes. In: Achourioti, T., Galinon, H., Fujimoto, K., Mart\u00ednez-Fern\u00e1ndez, J. (eds.) Unifying the Philosophy of Truth, pp. 321\u2013335. Springer, New York (2015)"},{"key":"758_CR7","volume-title":"Satisfaction Classes in Nonstandard Models of First Order Arithmetic","author":"F Engstr\u00f6m","year":"2002","unstructured":"Engstr\u00f6m, F.: Satisfaction Classes in Nonstandard Models of First Order Arithmetic. Chalmers University of Technology and G\u00f6teborg University, Sweden (2002)"},{"issue":"4","key":"758_CR8","first-page":"288","volume":"1","author":"G Gentzen","year":"1964","unstructured":"Gentzen, G.: Investigations into logical deduction. Am. Philos. Q. 1(4), 288\u2013306 (1964)","journal-title":"Am. Philos. Q."},{"key":"758_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmetic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmetic. Springer, Berlin (1993)"},{"key":"758_CR10","first-page":"173","volume-title":"The Many Problems of Realism, Volume 3 of Studies in the General Philosophy of Science","author":"L Horsten","year":"1995","unstructured":"Horsten, L.: The semantical paradoxes, the neutrality of truth and the neutrality of the minimalist theory of truth. In: Cortois, P. (ed.) The Many Problems of Realism, Volume 3 of Studies in the General Philosophy of Science, pp. 173\u2013187. Tilburg University Press, Tilburg (1995)"},{"key":"758_CR11","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)"},{"issue":"429","key":"758_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1093\/mind\/108.429.69","volume":"108","author":"J Ketland","year":"1999","unstructured":"Ketland, J.: Deflationism and Tarski\u2019s paradise. Mind 108(429), 69\u201394 (1999)","journal-title":"Mind"},{"issue":"4","key":"758_CR13","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1305\/ndjfl\/1093635929","volume":"32","author":"H Kotlarski","year":"1991","unstructured":"Kotlarski, H.: Full satisfaction classes: a survey. Notre Dame J. Formal Log. 32(4), 573\u2013579 (1991)","journal-title":"Notre Dame J. Formal Log."},{"issue":"3","key":"758_CR14","doi-asserted-by":"publisher","first-page":"283","DOI":"10.4153\/CMB-1981-045-3","volume":"24","author":"H Kotlarski","year":"1981","unstructured":"Kotlarski, H., Krajewski, S., Lachlan, A.: Construction of satisfaction classes for nonstandard models. Can. Math. Bull. 24(3), 283\u2013293 (1981)","journal-title":"Can. Math. Bull."},{"issue":"3","key":"758_CR15","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0168-0072(90)90035-Z","volume":"47","author":"H Kotlarski","year":"1990","unstructured":"Kotlarski, H., Ratajczyk, Z.: Inductive full satisfaction classes. Ann. Pure Appl. Log. 47(3), 199\u2013223 (1990)","journal-title":"Ann. Pure Appl. Log."},{"key":"758_CR16","doi-asserted-by":"crossref","unstructured":"Krajewski, S.: Non-standard satisfaction classes. In: Lachlan, A., Srebrny, M., Zarach, A. (eds.) Set Theory and Hierarchy Theory. A Memorial Tribute to Andrzej Mostowski. Lecture Notes in Mathematics, vol.\u00a0619, pp.\u00a0121\u2013144. Springer-Verlag (1977)","DOI":"10.1007\/BFb0096898"},{"issue":"3","key":"758_CR17","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1017\/jsl.2015.27","volume":"80","author":"G Leigh","year":"2015","unstructured":"Leigh, G.: Conservativity for theories of compositional truth via cut elimination. J. Symb. Log. 80(3), 845\u2013865 (2015)","journal-title":"J. Symb. Log."},{"key":"758_CR18","unstructured":"\u0141e\u0142yk, M.: Nonequivalent axiomatizations of PA and the Tarski Boundary. Unpublished Note (2019)"},{"key":"758_CR19","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1017\/S0027763000011065","volume":"22","author":"A Robinson","year":"1963","unstructured":"Robinson, A.: On languages which are based on non-standard arithmetic. Nagoya Math. J. 22, 83\u2013117 (1963)","journal-title":"Nagoya Math. J."},{"key":"758_CR20","doi-asserted-by":"publisher","first-page":"842","DOI":"10.1017\/S0022481200029820","volume":"52","author":"ST Smith","year":"1987","unstructured":"Smith, S.T.: Nonstandard characterizations of recursive saturation and resplendency. J. Symb. Log. 52, 842\u2013863 (1987)","journal-title":"J. Symb. Log."},{"key":"758_CR21","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1093\/mind\/111.443.551","volume":"111","author":"N Tennant","year":"2002","unstructured":"Tennant, N.: Deflationism and the G\u00f6del phenomena. Mind 111, 551\u2013582 (2002)","journal-title":"Mind"},{"issue":"3","key":"758_CR22","doi-asserted-by":"publisher","first-page":"308","DOI":"10.2969\/jmsj\/02230308","volume":"22","author":"M Yasugi","year":"1970","unstructured":"Yasugi, M.: Cut elimination theorem for second order arithmetic with the $${\\Pi }^{1}_{1}$$-comprehension axiom and the $$\\omega $$-rule. J. Math. Soc. Jpn. 22(3), 308\u2013324 (1970)","journal-title":"J. Math. Soc. Jpn."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00758-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-020-00758-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00758-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T13:47:47Z","timestamp":1724420867000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-020-00758-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,3]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["758"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00758-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2021,2,3]]},"assertion":[{"value":"2 April 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 December 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 February 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}