{"entities":{"Q1893134":{"pageid":1903876,"ns":120,"title":"Item:Q1893134","lastrevid":71087139,"modified":"2026-04-13T19:23:45Z","type":"item","id":"Q1893134","labels":{"en":{"language":"en","value":"A system of complete and consistent truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769226"}},"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":"Q1893134$12A412E6-91DC-4371-A6C9-4F99F3A84573","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d717cf0ff17fb5dc463ca8128f52f5d654b3f751","datavalue":{"value":{"text":"A system of complete and consistent truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893134$F9C37625-FE51-454E-9F21-76D64EEC6921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc1bf4778a763baa9cd5bfb9d8e76f20562f8df8","datavalue":{"value":"0828.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893134$F1B7587B-4407-47B2-A43A-F447525708AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc10c263403183833a9c235afc14c1a369550750","datavalue":{"value":{"entity-type":"item","numeric-id":175245,"id":"Q175245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$558750BA-1562-44B9-98DE-2FF3D1F39B43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$7AFD02BE-1CA0-4381-8162-7AD9027E85D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"771c3d65e511c1c23ff132299f8716909a176f01","datavalue":{"value":{"time":"+1995-12-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":"Q1893134$72277B57-183F-4299-821A-2E18EDF8F2BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b9c8e58a072d09291ede2d992dcffce73dd0cd4","datavalue":{"value":"The system FS (in honor of Friedman and Sheard, according to the author) is obtained from PA (= Peano arithmetic with all the primitive recursive functions) by adding the truth predicate \\(T(\\;)\\). New axioms dictate that \\(T\\) commutes with quantifiers and connectives, and new rules are: from \\(\\varphi\\), infer \\(T\\varphi\\); and, conversely, from \\(T \\varphi\\), infer \\(\\varphi\\). [Here and below, sentences, their G\u00f6del numbers, and their numerals are written the same.] By model theory, the author shows that FS is consistent but is \\(\\omega\\)-inconsistent. He also considers RT, the theory of ramified truth, that has \\(T_n(\\;)\\) for all \\(n \\in \\mathbb{N}\\), and the axiom \\(T_n T_k \\varphi \\leftrightarrow T_n \\varphi\\) for \\(k < n\\). Both FS and RT are filtrated. Namely, in \\(\\text{FS}_n\\) the new rules are applied less than \\(n\\) times, and in \\(\\text{RT}_n\\), \\(T_k\\) can be used only if \\(k < n\\). A stage-by-stage comparison is given. Roughly, \\(\\text{RT}_n \\vdash \\varphi\\) then \\(\\text{FS}_n \\vdash h_n (\\varphi)\\), and \\(\\text{FS}_n \\vdash \\psi\\) then \\(\\text{RT}_{2n} \\vdash g_n (\\psi)\\), where \\(h_n\\) and \\(g_n\\) translate one language into the other. From this, the author shows that FS is arithmetically sound (despite its \\(\\omega\\)-inconsistency), and is conservative over PA if the induction axioms are restricted to arithmetical formulas. He also considers global translations between FS and RT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893134$C46B6C46-3C6B-4CBC-BF81-533B908AE9E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893134$4773ED35-E4C6-453C-B8D8-68FC86FBBFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893134$D4C66174-0F24-418E-A5DD-4CADE2492CF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52372f3f12ae54c92ca8e2a7bcf085c1deb9b175","datavalue":{"value":"769226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893134$77C3751F-EC5E-47F2-B0D7-5F710A4574A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da5cc793147a473f75d83c548f4d52dcf2e1560","datavalue":{"value":"\\(\\omega\\)-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893134$3DA935B9-B1E6-4C94-BE17-36D0D152DFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893134$4D99C2CB-E391-4DBA-9851-7DE59AE81308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893134$361E776B-3A04-454E-9924-94ABF2DF592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de54a7f5064326a8c5157243563bddcb692ba885","datavalue":{"value":"ramified truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893134$5F0BD98C-5EA6-4623-A564-5FB936A34A10","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":"Q1893134$98EE0533-3DB7-4E32-AD5A-7A8AF18254F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10c1d1fe8d73a85a963f544f59c5db67035f3131","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040511340","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893134$569AA209-6AC2-4C0D-B99A-D6319A46B766","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d76d1cdcc594babbb9425fcae89de7ed1e19f9c2","datavalue":{"value":"W2111411333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893134$5AF96E5A-A959-4C2C-B0C4-5C3B18E9F4C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1e485e82c7dc84d069a763eb4a11a2b42b250b","datavalue":{"value":{"entity-type":"item","numeric-id":4845457,"id":"Q4845457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$684DEE90-ED7A-4B35-B4DF-A19AB0DC8D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$F7C396B8-65CA-4DA2-A405-C97EB266A371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$F8ECA0BD-4DD1-4B03-956E-7B0BBFF068C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$9612A211-B5D6-41B1-B04D-FEF4375A8AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$24F83CDD-DFCC-4BED-85FB-1075E540D151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883907c1b9faaee90794cecd283314576399aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1839240,"id":"Q1839240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$B09CD761-A94A-472C-A63A-A915485B202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae27d7122ec1a8cf54a2bf44c67ebac4db36f11","datavalue":{"value":{"entity-type":"item","numeric-id":1050329,"id":"Q1050329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$8C303F6B-A4F5-4C58-B217-1DB793427DAA","rank":"normal"},{"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":"Q1893134$8FA8D530-5148-4B26-A863-B58578951B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db45327879a1058ae216083cbde538be9c3b18e","datavalue":{"value":{"entity-type":"item","numeric-id":1069920,"id":"Q1069920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$8E57F14F-D399-4707-9C44-F51B4DE86B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbcdc6827af9f8d7894a008a301c07e31df53b6","datavalue":{"value":{"entity-type":"item","numeric-id":5732652,"id":"Q5732652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893134$F6E5CB4A-27ED-4C05-A302-6F3668A80F99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18e3aa918a8ceb75d87663c27acb72b06824d2d8","datavalue":{"value":"10.1305/NDJFL/1040511340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893134$2DCF6E40-5377-46A2-93D8-F93C6155E3E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e861b3d9cce1e6a99fc4fcb6cd5c757dafbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5951912,"id":"Q5951912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2d512e387e62605315f2cc7af6c09ce469fe0b","datavalue":{"value":{"amount":"+0.8001648187637329","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":"Q1893134$50531F56-956D-4015-A313-78C24E219046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ec4bfbc95c10f360e603638f93c52ba45e3d49","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae2e56fd8d831f88ba3790efb1f687d23d3eb92","datavalue":{"value":{"amount":"+0.778751015663147","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":"Q1893134$1F8D9317-5856-4E8E-B25E-29A9B6A76E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872b85d0d4d24d8e1afd87f78ef3b0b1a39bf421","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a32db41e89d2599501ca11c56c0b7181c3ef650","datavalue":{"value":{"amount":"+0.7755290865898132","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":"Q1893134$40D6C1FC-BCC0-4A7B-A640-07FA275D6717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742a4b11d5d1a59ae4cc6a85ef77fd921f881326","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f81a943943b84a6f65c8a0eae8cd287d552ecc","datavalue":{"value":{"amount":"+0.7640900015830994","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":"Q1893134$A2C5BBED-61DB-42C6-82FA-6B38EC7A264D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A system of complete and consistent truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_system_of_complete_and_consistent_truth"}}}}}