{"entities":{"Q1841000":{"pageid":1851742,"ns":120,"title":"Item:Q1841000","lastrevid":69048261,"modified":"2026-04-13T04:04:23Z","type":"item","id":"Q1841000","labels":{"en":{"language":"en","value":"On the logic of reducibility: Axioms and examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1568533"}},"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":"Q1841000$28EEDF45-96B3-4915-AA99-177B2892787D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42d37405dd1b133073bd76fdb9ff777aac434667","datavalue":{"value":{"text":"On the logic of reducibility: Axioms and examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1841000$DB6552AC-0779-49CB-9F50-B8A666DDAC4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3602c33592ffc7ad5f056dfc58f73cd816af04b4","datavalue":{"value":"0969.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$638BAE05-498A-4B3C-B803-4463976744BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"397754f8ea61e95453f33173d212128647ef30a0","datavalue":{"value":"10.1023/A:1005692729370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$B26E5906-C2BF-4DE6-A877-48149FE2092D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6598d348fec65eb7fc32f80f55d5f1e07520be","datavalue":{"value":{"entity-type":"item","numeric-id":1583788,"id":"Q1583788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841000$D1AA3061-A1E4-419F-91DA-E0B461188B90","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":"Q1841000$DAA29E06-3193-4C66-B2CB-898F707249E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5304ee1acd0d951d9b3b4a189a7d247f2a4fdb47","datavalue":{"value":{"time":"+2001-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1841000$F08A2413-9E3F-4CF9-A387-F9124F6654DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46668c8a9ee6627116f39fcb30726c4766a429be","datavalue":{"value":"The notion of reduction of theories is investigated. Some intuitively sound principles are put forward and existing explications of the notion of reduction are surveyed and evaluated on the background of these intuitive principles. In particular, the author sketches the most important concepts of reduction in proof theory. Relative interpretability and proof-theoretic reducibility in the sense of \\textit{S.~Feferman}'s paper [J. Symb. Logic 53, 364-384 (1988; Zbl 0656.03002)] remain as the only acceptable notions of reduction. However, Feferman's concept of proof-theoretic reduction is finally rejected because it is not transitive, i.e., these are theories \\(T_1\\), \\(T_2\\) and \\(T_3\\) such that \\(T_1\\) is proof-theoretically reducible to \\(T_2\\) and \\(T_2\\) is reducible to \\(T_3\\), but \\(T_1\\) is not reducible to \\(T_3\\). Thus relative interpretability is argued to be the only viable concept of reduction. Finally the author analyzes uniform proof-theoretic reducibility (where the reduction is carried out in \\(I\\Sigma_1\\) in terms of a modal system which is akin to interpretability logic [see, e.g., \\textit{A. Visser}, ``Interpretability logic'', in: P. P. Petkov (ed.), Mathematical logic, Proc. Summer School Conf. Ded. 90th Anniv. A. Heyting, Chaika/Bulg. 1988, 175-209 (1990; Zbl 0793.03064)] with the exception that the binary modal operator for relative interpretability stands for uniform proof-theoretic reducibility.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841000$FFDF531C-F84C-4CCF-B98E-E582176F91BC","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":"Q1841000$A5C3471A-C1CB-4E0B-BEF3-8CF10CD79C24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$ED4CF62A-FDC2-4F1D-A1BC-125A96FF0154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$15D9CEC1-9A23-436A-A1CA-9948F226BDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$4F2134AA-8BD7-4663-A297-0E99E9824E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$E2BEFFEE-4419-4A8B-9115-F40F019D7F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$FDD77EAB-67BD-4226-993C-5BD0D7775AB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b89c5a78a6d16b473185c41a24449e89d59ab796","datavalue":{"value":"1568533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$59653630-DE1B-4520-A4DA-E85403F0EB7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841000$2561031F-C75B-495C-AAC8-CA8478E679C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633dfadd87cb2ee93a6d723ae5b435a20f4e86b0","datavalue":{"value":"relative interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841000$C0D11292-E843-4302-B368-C198D48B7F93","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":"Q1841000$84C550B3-DA86-40EC-B1A0-BCDEE0C996FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8983bee4a0f243075dd3fa1a5e951bd732f0641","datavalue":{"value":"https://doi.org/10.1023/a:1005692729370","type":"string"},"datatype":"url"},"type":"statement","id":"Q1841000$2106F2EE-4465-4001-82EF-03CA435495F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d374fc17d1d216ab4829411178c35089fdb72694","datavalue":{"value":"W94633510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841000$4019A584-6326-48C6-880A-338D8C32305C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81ddcc36bf9eed7a0b7d56fa7aec051f055c25d","datavalue":{"value":{"entity-type":"item","numeric-id":1062672,"id":"Q1062672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b558370a23a622cabb0314bd4e4f44d5b534cd6","datavalue":{"value":{"amount":"+0.7937001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$CA1C07C5-C1C6-44A5-A6F8-AADC3D0494CA","rank":"normal"},{"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":"af68fe7bdcc0b956a9a5f4480d78ef70c603ce06","datavalue":{"value":{"amount":"+0.7741562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$B6DE3D88-34DC-45EB-93C4-8273B1E32E04","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":"27f6a29f2f53d54484d20bcf9fd5d3e1ab01139e","datavalue":{"value":{"amount":"+0.7706494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$0A65275F-A035-446A-97EC-5CCED306C0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b713701d62b1812a72a660b2a8755f651cfd694","datavalue":{"value":{"entity-type":"item","numeric-id":3358706,"id":"Q3358706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7e2146c4d9b6db915bf35960c06063d73b6313","datavalue":{"value":{"amount":"+0.7678154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$4D280516-69A7-4207-8D06-46235C8BB210","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":"401d0d93a749cd6e32cf0aa2fb1c3bb0b1b8be5d","datavalue":{"value":{"amount":"+0.76683784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$CE17D64B-12E6-4255-A017-9B652606DD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ed6f86b4945d6ca5ec2c243ac0969579285049","datavalue":{"value":{"entity-type":"item","numeric-id":1209623,"id":"Q1209623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c7d95f5636ae8fa97888d275029eff40255531","datavalue":{"value":{"amount":"+0.76618123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$7E8D766C-071A-4A0F-8902-8D24FE1CF350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3433a45dda66db20f47010f2336b94a4ad8c8d42","datavalue":{"value":{"entity-type":"item","numeric-id":3710506,"id":"Q3710506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1e5bcce75609d071c28af58bb413343b3421a8","datavalue":{"value":{"amount":"+0.76606566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$318B55EB-4FA8-4A12-B554-2C18C6B9FA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ef6fc563498ae81a233f3f7d5314527e79788","datavalue":{"value":{"entity-type":"item","numeric-id":1611236,"id":"Q1611236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18aa122b235107eee72b212618637daea9a6009d","datavalue":{"value":{"amount":"+0.76293766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$F8E118FA-AF04-4325-914B-A6212E550CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2b33fcae35b28c28cce7dce69b1bf9edd6898c","datavalue":{"value":{"entity-type":"item","numeric-id":3434692,"id":"Q3434692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5a3d1216cafbe20b5e8875e52e3a330553b13f","datavalue":{"value":{"amount":"+0.755185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$B9F17DF8-190B-4E6A-86EE-163338A08053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d579b5daef7618cd0e76e474b59c4e7d8f0d590a","datavalue":{"value":{"entity-type":"item","numeric-id":488476,"id":"Q488476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4603e47303962c4ce73b31ea9ea6ffb0c5faab","datavalue":{"value":{"amount":"+0.75370634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841000$3AFACA94-BB0E-4CA0-9EF8-B84DFF4ED8A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the logic of reducibility: Axioms and examples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_logic_of_reducibility:_Axioms_and_examples"}}}}}