{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T07:14:11Z","timestamp":1718954051825},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T00:00:00Z","timestamp":1481760000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2017,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT<jats:sub><jats:italic>tot<\/jats:italic><\/jats:sub>) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT<jats:sub><jats:italic>tot<\/jats:italic><\/jats:sub>contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.<\/jats:p>","DOI":"10.1017\/s1755020316000356","type":"journal-article","created":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T11:43:30Z","timestamp":1481802210000},"page":"187-202","source":"Crossref","is-referenced-by-count":3,"title":["MODELS OF PT<sup>\u2013<\/sup>WITH INTERNAL INDUCTION FOR TOTAL FORMULAE"],"prefix":"10.1017","volume":"10","author":[{"given":"CEZARY","family":"CIE\u015aLI\u0143SKI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MATEUSZ","family":"\u0141E\u0141YK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BARTOSZ","family":"WCIS\u0141O","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2016,12,15]]},"reference":[{"key":"S1755020316000356_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90064-X"},{"key":"S1755020316000356_ref1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S1755020316000356_ref13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"Kaye","year":"1991"},{"key":"S1755020316000356_ref2","doi-asserted-by":"publisher","DOI":"10.1111\/1746-8361.12093"},{"key":"S1755020316000356_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990220"},{"key":"S1755020316000356_ref15","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001"},{"key":"S1755020316000356_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-9673-6_15"},{"key":"S1755020316000356_ref12","first-page":"173","volume-title":"The Many Problems of Realism","volume":"3","author":"Horsten","year":"1995"},{"key":"S1755020316000356_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990232"},{"key":"S1755020316000356_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000116"},{"key":"S1755020316000356_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-9673-6_14"},{"key":"S1755020316000356_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000392"},{"key":"S1755020316000356_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S1755020316000356_ref14","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/108.429.69"},{"key":"S1755020316000356_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000070"},{"key":"S1755020316000356_ref9","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1286284556"},{"key":"S1755020316000356_ref16","first-page":"493","article-title":"Proof and truth: Through thick and thin","volume":"95","author":"Shapiro","year":"1998","journal-title":"The Journal of Philosophy"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020316000356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T06:30:38Z","timestamp":1718951438000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020316000356\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,15]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["S1755020316000356"],"URL":"https:\/\/doi.org\/10.1017\/s1755020316000356","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,15]]}}}