{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:29:58Z","timestamp":1777548598870,"version":"3.51.4"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,4,22]],"date-time":"2017-04-22T00:00:00Z","timestamp":1492819200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"National Science Centre in Cracow (NCN)","award":["DEC-2011\/01\/B\/HS1\/03910"],"award-info":[{"award-number":["DEC-2011\/01\/B\/HS1\/03910"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s00153-017-0531-1","type":"journal-article","created":{"date-parts":[[2017,4,22]],"date-time":"2017-04-22T05:15:50Z","timestamp":1492838150000},"page":"453-474","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Models of weak theories of truth"],"prefix":"10.1007","volume":"56","author":[{"given":"Mateusz","family":"\u0141e\u0142yk","sequence":"first","affiliation":[]},{"given":"Bartosz","family":"Wcis\u0142o","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,22]]},"reference":[{"key":"531_CR1","unstructured":"Enayat, A., Visser, A.: New constructions of satisfaction classes. Logic Group Preprint Series 303"},{"key":"531_CR2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1093\/mind\/103.411.249","volume":"103","author":"H Field","year":"1994","unstructured":"Field, H.: Deflationist views of meaning and content. Mind New Ser. 103, 249\u2013285 (1994)","journal-title":"Mind New Ser."},{"key":"531_CR3","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2178\/bsl\/1286284556","volume":"16","author":"K Fujimoto","year":"2010","unstructured":"Fujimoto, K.: Relative truth definability of axiomatic truth theories. Bull. Symb. Log. 16, 305\u2013344 (2010)","journal-title":"Bull. Symb. Log."},{"key":"531_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic Theories of Truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V.: Axiomatic Theories of Truth. Cambridge University, Cambridge (2011)"},{"key":"531_CR5","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1093\/mind\/fzp096","volume":"118","author":"L Horsten","year":"2009","unstructured":"Horsten, L.: Levity. Mind 118, 555\u2013581 (2009)","journal-title":"Mind"},{"key":"531_CR6","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1090\/S0002-9939-1977-0476498-7","volume":"62","author":"M Kaufmann","year":"1977","unstructured":"Kaufmann, M.: A rather classless model. Proc. Am. Math. Soc. 62, 330\u2013333 (1977)","journal-title":"Proc. Am. Math. Soc."},{"key":"531_CR7","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. Oxford University Press, New York (1991)"},{"key":"531_CR8","doi-asserted-by":"crossref","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, 69\u201394 (1999)","journal-title":"Mind"},{"key":"531_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001","volume-title":"The Structure of Models of Peano Arithmetic","author":"R Kossak","year":"2006","unstructured":"Kossak, R., Schmerl, J.H.: The Structure of Models of Peano Arithmetic. Clarendon, Oxford (2006)"},{"key":"531_CR10","doi-asserted-by":"crossref","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, 845\u2013865 (2015)","journal-title":"J. Symb. Log."},{"key":"531_CR11","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BFb0090952","volume":"859","author":"J Schmerl","year":"1981","unstructured":"Schmerl, J.: Recursively saturated, rather classless models of Peano arithmetic. Lect. Notes Math. 859, 268\u2013282 (1981)","journal-title":"Lect. Notes Math."},{"key":"531_CR12","first-page":"493","volume":"95","author":"S Shapiro","year":"1998","unstructured":"Shapiro, S.: Proof and truth: through thick and thin. J. Philos. 95, 493\u2013521 (1998)","journal-title":"J. Philos."},{"key":"531_CR13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0003-4843(78)90009-8","volume":"14","author":"S Shelah","year":"1978","unstructured":"Shelah, S.: Models with second order properties II. Trees with no undefined branches. Ann. Math. Log. 14, 73\u201387 (1978)","journal-title":"Ann. Math. Log."},{"key":"531_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0168-0072(89)90064-X","volume":"42","author":"ST Smith","year":"1989","unstructured":"Smith, S.T.: Nonstandard definability. Ann. Pure Appl. Log. 42, 21\u201343 (1989)","journal-title":"Ann. Pure Appl. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0531-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0531-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0531-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T18:33:23Z","timestamp":1719167603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0531-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,22]]},"references-count":14,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["531"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0531-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,22]]}}}