{"entities":{"Q6139242":{"pageid":13273549,"ns":120,"title":"Item:Q6139242","lastrevid":94219511,"modified":"2026-06-05T06:15:05Z","type":"item","id":"Q6139242","labels":{"en":{"language":"en","value":"Compositional truth with propositional tautologies and quantifier-free correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790940"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$8DC9AC20-9B6D-4203-82C4-35D98E5A905B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93c6b813c55eb69652c206ad06234d9781dcb137","datavalue":{"value":{"text":"Compositional truth with propositional tautologies and quantifier-free correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6139242$FE4CF7AE-0A30-4F70-ABB8-F4725AC4672F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a286f1ce532d5cd504b5ebb0cb74ac792370e35","datavalue":{"value":{"entity-type":"item","numeric-id":2153825,"id":"Q2153825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$FCF10F7A-94B4-4F1A-AEFD-52DC0A8B4FB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$23E89A29-34F8-4D17-9D8B-5315A7B3F82B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6139242$C47FBDFC-1056-4EEF-BF04-C35CB9CD431D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64bef2ab1eb8af2b18b1a8229c612a405d69cedb","datavalue":{"value":"https://arxiv.org/abs/2011.06940","type":"string"},"datatype":"url"},"type":"statement","id":"Q6139242$39D02C6A-AD2F-48EE-9763-E3E8AD37360A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c27d1cb1e4f9ae4403bb9a071a323ec040d8e3a","datavalue":{"value":"This is another in a series of papers by various authors on what has been dubbed by Ali Enayat the Tarski Boundary Problem. By the well-known theorem of Kotlarski, Krajewski and Lachlan, the theory \\(\\mathsf{CT}^-\\), that extends Peano Arithmetic (\\(\\mathsf{PA}\\)) by compositional axioms for a truth predicate, is conservative over \\(\\mathsf{PA}\\). The theory \\(\\mathsf{CT}\\) obtained by adding to \\(\\mathsf{CT}^-\\) the induction schema for the full language with the truth predicate symbol \\(T\\) is not a not a conservative extension of \\(\\mathsf{PA}\\), and so is \\(\\mathsf{CT}_0\\), which is \\(\\mathsf{CT}\\) with the induction axioms for formulas with \\(T\\) is restricted to bounded formulas.  Many seemingly innocuous extensions of \\(\\mathsf{CT}^-\\) are pushed into the nonconservative side and often those extensions turn out to be equivalent to \\(\\mathsf{CT}_0\\). By a result of \\textit{A. Enayat} and \\textit{F. Pakhomov} from [Arch. Math. Logic 58, No. 5--6, 753--766 (2019; Zbl 1477.03250)], prominent among them is obtained by adding to \\(\\mathsf{CT}^-\\) the principle of disjunctive correctness \\(\\mathsf{DC}\\).  The main result of Wcis\u0142o's paper paper adds to the list \\(\\mathsf{CT}^-\\) extended by the propositional soundness principle \\(\\mathsf{PS}\\) that states that any propositional tautology is true (according to the truth predicate). The proof is in two parts. It is first shown that \\(\\mathsf{CT}^-+\\mathsf{PS}\\) extended by the quantifier-free correctness principle \\(\\mathsf{QFC}\\) is equivalent to \\(\\mathsf{CT}_0\\), and to prove this Wcis\u0142o applies his own technique of disjunctions with stopping conditions. Then, \\(\\mathsf{QFC}\\) is eliminated by showing that \\(\\mathsf{CT}^-+\\mathsf{QFC}\\) is conservative over \\(\\mathsf{PA}\\). This second part uses a variant of the Enayat-Visser construction of satisfaction classes introduced in [\\textit{A. Enayat} and \\textit{A. Visser}, ``New constructions of satisfaction classes'', Log. Epistemol. Unity Sci. 36, 321--335 (2015)].  Despite relaying on the results by Enayat and Pakhomov, and Enayat and Visser, the paper is self-contained and full proofs of the variants of these results are given in two appendices. The paper is very well written and it can serve as a good introduction to the Tarski boundary problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139242$99B1A672-C88A-40A5-87B0-7E61357AFD69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$68A0A76B-D001-40BA-A68A-5F1A96B2B974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$F8E9D471-E70C-410A-8685-2245FE58CB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$D6CB02BA-4C44-482F-894E-CFB7E501DA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$8E673A25-F964-4E49-9ACC-94FC0155529D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$BCAFEBB3-3906-4A46-BEA8-615837D1E0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$AD5FF2EA-59F0-4896-816B-CD56FAFB23F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c91dc5135208efb7b3902e57f2a6bb9cffd6e2ef","datavalue":{"value":"7790940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$A7DA4E3A-AA2C-44CF-94F0-3EE0A9EE614E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd292cb832caa32c57adb5f2bd50beb57d69be60","datavalue":{"value":"compositional truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139242$2EE28930-8137-41EA-BB34-B1BBACE76041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ea63d90345c02ab94acb217ffe530386868b8c","datavalue":{"value":"conservativeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139242$81D00A5E-B142-4FFF-AD00-C7625D67D17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d14051a152a3d26848d5d068e6dd71e9ec63fd3","datavalue":{"value":"\\( \\mathrm{CT}_0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139242$C6F658A7-C1DF-4914-824B-C01C974BEFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce1ca4f4cd7d11eef1a0c373977e9ce4f2ab78f1","datavalue":{"value":"Tarski boundary","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139242$BD3C9EBB-1CCD-4135-B283-D3B20396B25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971521db6c49da4b2e29d1747f7f70ccb4a74e54","datavalue":{"value":"propositional soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139242$4155C549-6A04-4786-8401-1EA281845440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2fa7d86735053739bb3cc40983a60dcfba6f52","datavalue":{"value":"disjunctive correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139242$1220F903-9AF8-4370-88B4-C0652C88CD00","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$57417828-202E-4074-BF9D-2E3682D9E4B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4f9d8c181727d382c9a72252a47748ec6b5fa2e","datavalue":{"value":"W3102402518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$F42D1866-7343-4FF0-8E5D-C7D09508B8C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$C059D80C-660E-4601-88D7-B093CE243799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80af18a3782140809471dc5dbe8a13a584107e1","datavalue":{"value":{"entity-type":"item","numeric-id":975779,"id":"Q975779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$C97C02CD-90E6-410C-8319-C7568CB9B2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a734f0e78a9068a093699bca0af4445b60fc7f5","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$DE282F8C-C617-4FBD-AA61-A18D35283788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278a632d09f9faae9f5de4b7d3d06f1c6a5d58a","datavalue":{"value":{"entity-type":"item","numeric-id":6038484,"id":"Q6038484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$855AD7C3-46FE-42CC-927B-B0ADBAC91C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99abdd488d7de15aefa7f6afa4adfd032dddf4bd","datavalue":{"value":{"entity-type":"item","numeric-id":913793,"id":"Q913793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$06805A0D-925E-49A1-972A-C6BA4BA515D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad6c5288072a036b944d4667385334330a840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5019780,"id":"Q5019780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$551F2E34-A11F-42C6-9CF2-ABDECD4E442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$C2A2C556-E4C6-4556-BFCD-BF83CD4B7C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$5FEF0F41-3C76-4855-BECE-8CC9501F915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$55F5A441-FF38-4F02-8D2C-980561C7EC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a920c6b4898f1fffa291cea9f3560948770b8e8","datavalue":{"value":{"entity-type":"item","numeric-id":5357325,"id":"Q5357325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$66E8793C-2E57-4C27-820D-0A92601B3575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2700b6821f9fff85506eaa72b3d5c50258d97173","datavalue":{"value":{"entity-type":"item","numeric-id":1777639,"id":"Q1777639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$620F19B5-D565-46E5-9A41-1F2CC4990939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e6457006485b3db3fb1e730b51d235595d1daf","datavalue":{"value":{"entity-type":"item","numeric-id":2662691,"id":"Q2662691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$03AE0167-6A82-4734-BAD9-88335B0675A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1601ec923f392c744e72f3c245f64c2f21ac2ac","datavalue":{"value":"10.1007/S00153-023-00893-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139242$8CA1CEEF-C557-464F-914C-14E1BC2859AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdb40d083d173aff571cc79ad331c94c41a1ccb","datavalue":{"value":{"entity-type":"item","numeric-id":6038484,"id":"Q6038484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65762ead659a0df44118cd13e1cddb8e7fc4cd70","datavalue":{"value":{"amount":"+0.8463469743728638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6139242$3F73EE63-2268-4C7A-AF25-415FDFD7C232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b017a878f331f3bf8dba207a3c92c505fd81ccec","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42b3f66407dfcdba3d9ede049e6c34127821e44","datavalue":{"value":{"amount":"+0.8255601525306702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6139242$F3829267-90F1-48D4-9A37-971243CEFBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5490bb45c86d15af94a482c8992b7ca6117492c","datavalue":{"value":{"entity-type":"item","numeric-id":5107235,"id":"Q5107235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129993cf9ea11185808749e55976d614f5055450","datavalue":{"value":{"amount":"+0.7665125727653503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6139242$6AAB275E-91B0-4F00-8D48-123693EDB211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e7c6f55c566c9842f8cbcc841ea6829b398a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5357325,"id":"Q5357325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02801d0c73a2af476a2519c595f7635c1bd933a6","datavalue":{"value":{"amount":"+0.7540360689163208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6139242$BD9DFE2F-4D06-43E0-B853-73342ACA7B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fd6f9e1794763129810d689204db3cfc12f992","datavalue":{"value":{"entity-type":"item","numeric-id":2662691,"id":"Q2662691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d31b746db0a58e6e6bf80f92f8481d9fb9c043","datavalue":{"value":{"amount":"+0.7529414296150208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6139242$94B562DB-3614-4A06-BA55-560CF2D93DE3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139242$3CB544D0-7AE3-44A9-85DE-D6E394B6B84F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional truth with propositional tautologies and quantifier-free correctness","badges":[]}}}}}