{"entities":{"Q1006608":{"pageid":1008456,"ns":120,"title":"Item:Q1006608","lastrevid":50614580,"modified":"2026-01-14T14:04:40Z","type":"item","id":"Q1006608","labels":{"en":{"language":"en","value":"Injecting uniformities into Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532834"}},"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":"Q1006608$638D7338-54C2-49C9-B817-08F683B1F364","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8b23f6058e033def76125729d9c69b89b6adea8","datavalue":{"value":{"text":"Injecting uniformities into Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006608$F9C44F99-0670-4563-AC70-6B305DBD84D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f828ae26c6db86ef4cb62aa1cc66efa028142fa7","datavalue":{"value":"1203.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$63CFD30E-E7FA-4FFE-9950-545E560E75E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$CD098B36-9CA7-4152-A273-A545CA2899D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$49752A6F-EA2E-4CFD-8043-CA0F75852049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006608$F631BE71-4C21-4BEC-BA27-A3CB29943036","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eaa7af17bcc7f891b1bbae1b465ff657440dbac5","datavalue":{"value":"The theory \\(\\mathsf{PA}^{\\omega}_{\\leq}\\) extends G\u00f6del's \\(\\mathsf{T}\\) by a rule-governed (intensional) majorizability relation \\(\\leq\\). This article provides a bounded functional interpretation of \\(\\mathsf{PA}^{\\omega}_{\\leq}\\) into itself which only cares for bounds for witnesses of existential statements. Due to its simplicity, it is evident that principles such as Monotone Bounded Choice, Bounded Collection and Majorizability Axioms can be added to \\(\\mathsf{PA}^{\\omega}_{\\leq}\\) without increasing the provable \\(\\forall\\exists\\)-sentences of the language of \\(\\mathsf{PA}^{\\omega}_{\\leq}\\).  As an illustrative application, it is shown that the extension of \\(\\mathsf{PRA}^{\\omega}_{\\leq}\\) by the three aforementioned principles contains the subsystem \\(\\mathsf{WKL}_0\\) of second-order arithmetic, which thus is conservative over \\(\\mathsf{RCA}_0\\) for \\(\\Pi^0_2\\)-sentences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006608$CD92E8B2-746F-4D26-B545-8B007B01CBDC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"205d8db71540627b44bf42114d32f8c58d5b9e9c","datavalue":{"value":{"entity-type":"item","numeric-id":619319,"id":"Q619319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$055514D5-78ED-4A4E-B071-9E81FE999821","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$A7C60FAE-5648-4216-A820-68C8DA9AEB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$2545BF04-5305-4AFC-8930-6D69F887A377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$03A0BBC1-C624-4E56-9E04-6A37EE327910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$7E9E3E88-DF40-4DE8-BA4B-F4BCE2714106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"771bce68faec785790d4c59de63706d66563eaf2","datavalue":{"value":"5532834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$59770D3F-125D-4F03-9603-9394A54EDAD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006608$D5D6C02C-E95C-4989-B9D4-C118CAF1C154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006608$AC1F835E-6DC3-42A0-8FFF-2CC520EED318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeb8394652283f2d2489e4859457239a2289d299","datavalue":{"value":"uniformities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006608$D76039E8-C092-4696-9ABC-D2C58080AC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006608$126079E6-2338-4585-9939-01EEB5ED1278","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":"Q1006608$FB3CA6AC-E5E2-4F95-A117-584546A5B10C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42bd27b7b1c836e8a8026e80371585bb2ddc41f1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.09.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006608$6FBEB36F-30AB-4BC5-9900-C9FB877216F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"223023513d9e40aad5311c621dbabc2a4b021994","datavalue":{"value":"W2057384151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$937DB606-9A11-4271-B04D-7CBFD4DB1939","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$8CF64F53-A1DB-4581-B733-1E1B29AFC00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$A8210B6C-2FF6-475B-8256-EFDDB257B6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21b3933a73171f21e0c9085ecd8522337907b75","datavalue":{"value":{"entity-type":"item","numeric-id":1590194,"id":"Q1590194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$BF747398-6107-4C54-9FB0-FE7A7B26DF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$1B401754-6718-4485-A089-1F012CA48CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$2F5743E2-29E2-44A2-81D3-6DFD945F6A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c580708844e63dd3330399b919fc421c9659ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":3997237,"id":"Q3997237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$C39C6350-F022-4BD9-8443-7922101A0573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$CC1AA79D-B81E-492D-B644-2964647E1D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c29249d4170f759b7d4af5601eba4261cac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1354332,"id":"Q1354332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$4B56B543-9573-4618-BC25-33890249D43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90d976ce81f419a13b8e1d0038131a4ca048b82","datavalue":{"value":{"entity-type":"item","numeric-id":4917990,"id":"Q4917990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$B8494A3B-9BC9-4617-9A0A-639044AD541A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bec9637dba5e8307ef3ad4b6a5c2e0405240f9","datavalue":{"value":{"entity-type":"item","numeric-id":3437042,"id":"Q3437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$0922D777-0FF9-49E6-9C56-F6952A7A3E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$29136A80-AD0C-479D-9D33-9391DF9BF477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62728de11085b2637852fd5b2e4cd2194b3b9d02","datavalue":{"value":{"entity-type":"item","numeric-id":923069,"id":"Q923069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$2E168880-CF15-4AC2-8275-5FB6AA5CB2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$34B53739-701E-4FF5-86AE-D7534CC3A63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$42C9DB38-43CF-46E9-90BC-E1E6ECA6CBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006608$EEB5F0CC-EA3A-49EE-A167-CAA0C89D4523","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8efe5ae841777bda7c7c013172f7244d10237069","datavalue":{"value":"10.1016/J.APAL.2008.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006608$17FB24FA-3E0D-4887-AE79-F4A2F2F1E1B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b953d92279597539ca6624f489775fcdd8a1c02","datavalue":{"value":{"amount":"+0.748064398765564","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":"Q1006608$D324B852-80C7-4D94-BEDE-24F4AA2BF733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0971ae14a0042af53c3be105ed8834bdf08b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2344622,"id":"Q2344622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1801cca88c543d975830f5fcdb82adbe018287b","datavalue":{"value":{"amount":"+0.7436770796775818","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":"Q1006608$71171A27-0B0B-435B-BED5-5C0B125AAE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccb27d047c72219b5e53b79a1b9773d81b035f6","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d93e95ac48940ab6daece12b09f70ebd2829dc1","datavalue":{"value":{"amount":"+0.743350625038147","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":"Q1006608$C8ACA3F6-E6BB-4BA6-B66D-A70BF8177D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ece1c04276edf21fa91a8377e563644ec3448","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558faeb2b076079ddbeb3ceda892021d279fb51b","datavalue":{"value":{"amount":"+0.738472580909729","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":"Q1006608$398C37F9-BAF4-4A4D-B4C2-5009F238417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e68142a32a3a5b269b426f5571e03bcec68080","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13303c9be9ece7925122a8d3eec5eecbe800f197","datavalue":{"value":{"amount":"+0.7376725077629089","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":"Q1006608$59CBA685-90B7-48BD-B558-3372285AB1EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1006608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1006608"}}}}}