{"entities":{"Q1841001":{"pageid":1851743,"ns":120,"title":"Item:Q1841001","lastrevid":69048270,"modified":"2026-04-13T04:04:23Z","type":"item","id":"Q1841001","labels":{"en":{"language":"en","value":"Does reductive proof theory have a viable rationale?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1568534"}},"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":"Q1841001$F13DF314-FFC2-436E-B770-6D1C5129BDE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ab5172fa7b1202d748f6ec448e090d36fe8a4fe","datavalue":{"value":{"text":"Does reductive proof theory have a viable rationale?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1841001$062E11C8-B8F7-46EB-959C-AAB41C210CC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f0cc1035068c7744177d6f0a82cfa7cd40c85d5","datavalue":{"value":"0971.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841001$C0B44066-40F5-4C70-B1CE-A198F5C3855A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f5b899eb454e86864e25c15ecc7526091f5081f","datavalue":{"value":"10.1023/A:1005622403850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841001$F67B2820-9E56-4F83-B450-A7644864E403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841001$365C5103-D2D8-447F-88CB-CD24B4CFD0C4","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":"Q1841001$BCFFF666-1EF6-4C12-BCC4-5A7B886A5A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c942329286f61912919b34bd0734f5ee78c9108","datavalue":{"value":{"time":"+2001-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1841001$062C3EB7-78E6-4B0B-931E-FAC06B5E6FA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db24918247184f0a1905934ff0c41827f64204d9","datavalue":{"value":"Reductions in mathematics are carried out for foundational purposes. The author considers the motivations for reductive proof theory and its value for the foundations of mathematics. He defends reductive proof-theory where it is not attempted to reduce all theories to one single theory; rather reductive proof theory considers different theories to which other theories are reduced.    The author defends the notion of reduction, which is basic to reductive, proof theory, namely proof-theoretic reduction in the sense of the author's paper [J. Symb. Logic 53, 364-384 (1988; Zbl 0656.03002)] as compared to relative interpretability and translation (e.g., G\u00f6del's ``Dialectica'' interpretation). The author explains how reductive proof theory avails itself of relative consistency proofs and, in particular, of ordinal analysis, which started with Gentzen's analysis of arithmetic by the ordinal \\(\\epsilon_0\\). Recent advances in ordinal analysis with respect to \\(\\Pi^1_2\\)-CA by \\textit{M.~Rathjen} [Bull. Symb. Logic 1, 468-485 (1995; Zbl 0855.03035)] are discussed and evaluated on the background of general considerations about reductive proof theory. In an appendix the author surveys different notions of reduction in proof theory and defends his own account of proof-theoretic reducibility against objections by \\textit{K.-G.~Niebergall} [Erkenntnis 53, 27-61 (2000; Zbl 0969.03068)] and others.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841001$E443F5DD-C45D-42D9-A654-D86BA31C15D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a71a0b701b83e2fb6a5abddcef45416fab46202","datavalue":{"value":{"entity-type":"item","numeric-id":175245,"id":"Q175245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841001$95B0D4F1-8114-4D93-B8D6-37AB091DB167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841001$0ED4BD11-DDAD-47C3-858C-B9862AAC935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841001$9283A19F-C87A-4737-A1B2-37F27C41415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841001$264C7A8D-9B73-4157-99D3-5ECC2E02C0FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2ac52a3e4e46b50915fb423ac686d9df65d1a2d","datavalue":{"value":"1568534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841001$705E48E4-D144-4122-B464-D5C678F21795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633dfadd87cb2ee93a6d723ae5b435a20f4e86b0","datavalue":{"value":"relative interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841001$E3134A57-DE30-45DB-877E-D49046EFA7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841001$F282F168-6583-4701-B509-F7E1484845D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb555ad50daa2f2442c3374413a67b79e38b5020","datavalue":{"value":"relative consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841001$456CC2ED-F54C-4DFC-BFAC-CF6D00D25C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841001$0C4E2DC1-21ED-4570-9A19-18A57FE42868","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":"Q1841001$6D953432-C418-4AF4-B036-8CB4BC269D5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df4418151c3fe788ba80875dc470f760978d7ad","datavalue":{"value":{"entity-type":"item","numeric-id":1841003,"id":"Q1841003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc34e1eb4f38010bb5ab97ca665d81f774ac65f","datavalue":{"value":{"amount":"+0.8429923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$58239F29-E3F7-44DB-9191-77A685DE5512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c21a0437bf7b39e102388ebbd0b82d161f84a3","datavalue":{"value":{"entity-type":"item","numeric-id":3305638,"id":"Q3305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c56bb4bde6c4a185a879a1161c010dc0786e2bb","datavalue":{"value":{"amount":"+0.8215062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$8A628867-69D4-4C83-933F-153CF0294C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168c73b009a5fc81938a222dfb62f3c5b4cbcf62","datavalue":{"value":{"entity-type":"item","numeric-id":6058203,"id":"Q6058203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464420b6b7b1499a99f2d238a55bf5448c3b6a82","datavalue":{"value":{"amount":"+0.8110623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$AD358318-3C96-41A6-BAEB-A4B0D5F1A768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b18f01c7c556ddb93fdbada3703048f1229e93","datavalue":{"value":{"entity-type":"item","numeric-id":482327,"id":"Q482327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb4b6d1f899d6d3a5c26262ed41908ffea72f42","datavalue":{"value":{"amount":"+0.80083966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$F83EEF2C-3F03-4CC5-BC22-9CF6EC9D28F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e791293a04a5b306faed2182255c721ce3ce7f","datavalue":{"value":{"entity-type":"item","numeric-id":4813206,"id":"Q4813206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f7e622fc810ec19c75dbe397cdc623fb20c735","datavalue":{"value":{"amount":"+0.800225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$77814194-9744-4E67-9414-8DD84D12D997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81aca38709b78489bda3bf6c74cca69f198df488","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afce2ab96673b2a5e164491cdc9ad3817327ddfa","datavalue":{"value":{"amount":"+0.79602337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$8F275A15-1FE7-402C-AE9C-7723BA52221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f431186fccf82fa696a1a9038fa55a84616b63f0","datavalue":{"value":{"entity-type":"item","numeric-id":5204801,"id":"Q5204801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0c65ef0f17f4ece2ada8b5a2c0e325857e383a","datavalue":{"value":{"amount":"+0.7920105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$EBF8B87E-6AD0-46B2-86EE-4D411671D3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42030a0943bad0100592b4b9e60b8216bf2a705","datavalue":{"value":{"amount":"+0.7917366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$98540919-CB67-4DF2-8219-388CA9FCCCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9d54880e7118b1519232491a471eb43c1cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":685391,"id":"Q685391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b551c67ea4077034f1ad7259412114692006fe","datavalue":{"value":{"amount":"+0.788963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$39BEC659-C2B6-415D-86A7-B8682BA24AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810efed37836d00f1621510f9af8540f444ac2e1","datavalue":{"value":{"amount":"+0.7889372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841001$1C0534FC-345A-4763-A6F1-1C67B8B5163D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Does reductive proof theory have a viable rationale?","badges":[]}}}}}