{"entities":{"Q1841002":{"pageid":1851744,"ns":120,"title":"Item:Q1841002","lastrevid":47576524,"modified":"2026-01-02T03:12:59Z","type":"item","id":"Q1841002","labels":{"en":{"language":"en","value":"Truth and reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1568535"}},"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":"Q1841002$736047E1-153D-4E6B-BE71-15D1460C7770","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49b89e1325244ce3c67bb80e68797945dc6d934b","datavalue":{"value":{"text":"Truth and reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1841002$D0BA5BCF-AEAB-4847-9DC2-2BD146C64E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f52e1a74bde82b1ca88d54e95ced4021dc247998","datavalue":{"value":"0971.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841002$7533999B-6097-459F-B39E-9A5FC7AD7E3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d68d4899bf432f02294726044bd98b4cfc0d2e3","datavalue":{"value":"10.1023/A:1005662017962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841002$BBE2E6A8-0115-4E36-833A-1F57F8704AB3","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":"Q1841002$7E0553CC-7949-45BC-8A8B-7E526B57CA22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841002$37290CC8-84EB-4971-B6EA-6DC288FF92BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba59e8ca936eb8413982d6b17e826245fb5ac369","datavalue":{"value":{"time":"+2001-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1841002$FE0CF60B-B8CF-428F-8977-7F8E8D6F638F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3104823569e55ed7c37a65b738908c66be62760","datavalue":{"value":"The subject matter of this paper is relations of first-order theories with truth predicates and second-order number theories. In the first part of the paper, the author presents a non-technical discussion about the natures of reductions. Ontological reductions replace the set notion by the truth notion in one way or another. But this is not really a reduction; for, unless sets are there already, how can you reduce them? Proof-theoretic reductions are free from such difficulties, because they are translations among formal theories. But there are so many notions -- local interpretations, asymmetric interpretations, etc. The second part of the paper is a report of the present state of affairs as to reducibility and implication. It begins with a 2 page chart of about 30 systems in order of strength. Since the author takes PA as the base theory, it is the weakest among both truth-theoretic and second-order systems. The strongest are Kripke's supervaluations and bar induction, respectively. Concise explanations of these systems are given, making this report a guide for further reading.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841002$3051EC2D-7445-44AE-9444-E583FBBD3DFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841002$B68DCB8D-718E-4E4C-B5AD-E5DF3A497CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841002$A5B4A6EB-AA55-4389-87CA-134BDBEC7BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841002$179444A3-4646-4C0C-AA4F-AC65D84985BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ad27f396cf9a4735882466f1c1e458d83b5f521","datavalue":{"value":"1568535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841002$B4BD20F1-F1E7-46F1-85FA-5B16E18A072E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841002$A6C73F1B-8229-4E5A-9087-CB27A6C33403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe802b5e94ee4daab9c68acf78f441adb3df3ea1","datavalue":{"value":"truth predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841002$A95BD608-4EBC-4A56-99A9-C76075D658B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e824fa8465b6c4ba3040a0e025dbcea0fcc6f0a0","datavalue":{"value":"second-order number theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841002$14C24941-A866-4673-90A6-7846FF9DB715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841002$29C3890A-A587-4197-9CDF-D97F2188CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841002$2118F7D3-E680-4779-BEC8-7F053FED6C93","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":"Q1841002$BC5B28B2-C82B-40C7-9380-8C534D304CEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10c8fef7f239a796fec2acd8c449612f01f2500b","datavalue":{"value":"https://doi.org/10.1023/a:1005662017962","type":"string"},"datatype":"url"},"type":"statement","id":"Q1841002$CC11189B-C8CD-4EEA-8433-6384CFC6C301","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cdb41705e2aeecfd7ff23f987cbb3f243f9c77c","datavalue":{"value":"W134717285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841002$C4B6B340-9A07-4AC1-B105-1DEB30AE633F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cc887c3bd14f28fa90bc31fec8da5b095636da","datavalue":{"value":{"entity-type":"item","numeric-id":1841000,"id":"Q1841000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1a66560c24dee01679e23a0e0e66a1ca7779dd","datavalue":{"value":{"amount":"+0.7848049998283386","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":"Q1841002$36B1A952-91FB-45FC-9F10-E554142908C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152274efbde0378996060f440f36682128e14955","datavalue":{"value":{"entity-type":"item","numeric-id":1841001,"id":"Q1841001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ad9e854c653263f770200792c2ca4878c464da","datavalue":{"value":{"amount":"+0.7848045825958252","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":"Q1841002$FA162C81-5BD0-42C8-A46E-E57430496D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a20ba41bbc5f70eb598896b28edaabdcf4cf71","datavalue":{"value":{"entity-type":"item","numeric-id":3295826,"id":"Q3295826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a1cfe579a2a64638faee0a0af75cbcbfb1e93c","datavalue":{"value":{"amount":"+0.7649841904640198","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":"Q1841002$1AECD588-EF0A-4102-8465-B7560FA543DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a167bc8564c62e1e019c82a47ec3d0b09e56ec","datavalue":{"value":{"entity-type":"item","numeric-id":3163660,"id":"Q3163660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcf0a757dd125cf8f8053f8f010dd2d33fafc06","datavalue":{"value":{"amount":"+0.7634044289588928","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":"Q1841002$17AFD05B-C727-4212-BA8F-9DD7EDAB85EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d809cc7eba9cf0b5862d1ba3fea038268e630f","datavalue":{"value":{"entity-type":"item","numeric-id":722023,"id":"Q722023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2288979e08491029b1f777a0c5fa073be7ac96b0","datavalue":{"value":{"amount":"+0.7417943477630615","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":"Q1841002$FD486F53-4681-4E9E-B51A-1FB2D477F831","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1841002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1841002"}}}}}