{"entities":{"Q1295420":{"pageid":1306170,"ns":120,"title":"Item:Q1295420","lastrevid":68393376,"modified":"2026-04-12T23:24:50Z","type":"item","id":"Q1295420","labels":{"en":{"language":"en","value":"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308097"}},"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":"Q1295420$59DDBFF4-DB80-422C-A84C-CF85E5944458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdfc4b9d2d1f49a154c6c5a67d8c89ed68951cd0","datavalue":{"value":{"text":"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295420$595BBEEB-BB55-412E-8744-9BF33193F981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e92f2e45328b25fc9bee2bbe8feaba3a70761e52","datavalue":{"value":"0945.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$9BE78089-BEC8-4665-89DA-FD9BD7FE59F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e76d1d3af1ba320359fd44e9bd64755f742b32f","datavalue":{"value":"10.1016/S0168-0072(98)00018-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$51CF452C-5698-4047-9D4B-597D9A90309F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$514E7473-634C-483E-91D5-F8D3E5CE292B","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":"Q1295420$2AB0A188-803B-4BB9-92EA-9006DEC3F227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebe63471b53ee48ed59b5a1dab85fa46566f7415","datavalue":{"value":{"time":"+2000-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295420$9B0C5561-6C88-4EC3-AE65-81DFB012E04F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"752c3a6d28b067773c203e7b7c61bdc961585849","datavalue":{"value":"Using methods developed in previous papers, the author finds arithmetic equivalents of higher-order systems containing arithmetical comprehension, choice and (classically incorrect) general uniform boundedness. A typical result: \\(\\text{EA}^2+ \\text{AC}^{0,0}-\\text{qf}+ \\Pi^0_1- \\text{AC}^-\\) is conservative over \\(\\text{EA}+ \\Sigma^0_1- \\text{IA}\\) for \\(\\Pi^0_3\\)-sentences, where EA is Kalmar-elementary arithmetic and \\(\\text{EA}^2\\) is its second-order extension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295420$722D8DEB-A202-4230-8883-89921EB8A1F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$FF539333-7072-451E-A717-6D447133E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$5FF7E16D-3241-4EF4-857A-F01475D7AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$4DFFF919-395F-4F0A-8656-6E2E8F9F634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$5DB41F9B-1FBD-4495-835D-E9EAB0465D99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ca653a5c30c4a415c3854b7939074b11c2a7370","datavalue":{"value":"1308097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$8CDA15B0-C9E5-4237-95C3-4D8C92103F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d05d7f47d12375389673c2fc75650b1ad6bd508e","datavalue":{"value":"arithmetic equivalents of higher-order systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295420$4447EDD6-D28D-47C1-ABFB-D75EFFA24CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155887e129f138ddb550f061b25d6f62f70a6545","datavalue":{"value":"arithmetical comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295420$2C13B696-6CD4-4E5F-B77A-0E1EA4ABB590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30aded0552094ac5716fe4747a6c670c61574792","datavalue":{"value":"choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295420$3ACCF788-4481-4CC2-8267-DB0C3DC81CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f54796f95812914987b5b71b46cb4507dd5128a6","datavalue":{"value":"general uniform boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295420$B19CC9FF-63E8-493F-8EC8-E1C6FE90C33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dfb7d0446f21c542216da5763be873e097ebc3a","datavalue":{"value":"Kalmar-elementary arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295420$2DAD3367-43E1-4389-9356-2509EE9C452C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$74CC4E7C-8C10-4A5C-B9C2-BCCFEE372568","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":"Q1295420$DA78B164-73FA-4517-9590-22BBB9D7D1D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$2830FCCB-7E97-4AC9-B837-2A800E5F22D8","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":"Q1295420$694D243B-67B7-4920-8528-C619290B84D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aae2a08f7a2b5e1c257a710321ddb1f6bd108cd","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$58FFEF24-A4B1-4A23-918C-A86B352EC920","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":"Q1295420$D3D6AD34-1896-4361-A891-EA9FCB08884A","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":"Q1295420$6C6E99BF-49ED-44DE-97C6-4C2D8463B491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$329BC033-6B29-4EDB-8407-FDAE2E3DB131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bbb39bcfe69bda1f8d488da6e73412c05ff49a","datavalue":{"value":{"entity-type":"item","numeric-id":805612,"id":"Q805612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$D725CFB5-1F37-43CD-B791-0E829750ACFA","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":"Q1295420$277169D5-A868-4BE5-99A4-9ED31A023E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ab5b67c93d5dba74f4e18745f2a814a5d7adb0","datavalue":{"value":{"entity-type":"item","numeric-id":1902342,"id":"Q1902342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$6CF29197-281B-40B1-9CEC-81A30E2387BB","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":"Q1295420$1782DCDC-550E-4DD7-BE49-1BA92BF05E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1484ffd13476ff4e30167317b1f1955782f6b13","datavalue":{"value":{"entity-type":"item","numeric-id":1267846,"id":"Q1267846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$4AC83C4D-018B-4EED-BE5F-CA440B78D109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0718748d276722ded004fbeb903c963e6f96ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4941992,"id":"Q4941992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$86566DEB-FBB0-4732-84E5-4AABFE0091EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f701062ae90d83471f206b68f261adface7c7df","datavalue":{"value":{"entity-type":"item","numeric-id":4218526,"id":"Q4218526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$8C303101-2CAD-43A0-9636-CBCF2692BA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77765a4477c55f314baec87f180c178599579624","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$86269F93-CE2C-4EDF-9B22-88D111B19A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e173e3f88a53b33fbc52906169cfc40c731fbc22","datavalue":{"value":{"entity-type":"item","numeric-id":2560813,"id":"Q2560813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$658DD48E-AE4B-491D-87A4-B05ECB8ADE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$20C9BC59-D5DC-475E-8ADC-E04AE1E45899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$F92E329C-8011-4F63-BDF9-F46B3B5DD9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$55D4558D-2B93-4EB7-8B54-93EED3D9D295","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":"Q1295420$58C5A9BB-E16E-46C2-B660-46B7355C14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$35325F92-7BF0-4CE2-B364-1263C5FB50F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$2BB5E03D-A61A-4D3F-9917-CBA329A26361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295420$ABD63616-79FA-4A24-BCD7-24D3E0C12139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cef77a41c5ec0580d7190582dc75b12f87adc99d","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(98)00018-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295420$CC3EB884-DDCE-4054-A51E-8DE980AE5BD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"768dd502075f9d686a166004f8f138ce3711e12f","datavalue":{"value":"W2093222212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295420$0570A916-47AA-4D57-8A1C-6BA6552DFE41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d547bc00f37b19fed1222c2860cbd8994f685","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a59976668dc9c929cc2e608dd6288fbf09ef092","datavalue":{"value":{"amount":"+0.7588627934455872","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":"Q1295420$F9227A4B-ECC0-4D57-A5B2-AA3A39AD1DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fc081a98040ffd9f11ae72b5885d72126cbd13","datavalue":{"value":{"entity-type":"item","numeric-id":4218526,"id":"Q4218526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6d36784f83ebb2f3cd398bbe5271d240a7edd6","datavalue":{"value":{"amount":"+0.731153130531311","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":"Q1295420$590A7590-5763-4CB5-A463-27738525F761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb798e4b4a4d369ca1c87f182afcbda7942f8909","datavalue":{"value":{"entity-type":"item","numeric-id":3159415,"id":"Q3159415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1eeb6fe1e80bc4728d1cfc15900978a68ff5db","datavalue":{"value":{"amount":"+0.7269021272659302","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":"Q1295420$60CA800D-3FE2-4DFB-A37A-A00DC1BC04E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e2d44cb47803930234188ebe191c0d1f088583","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8d2495ce2aa065553e782079ef00d6383281f3","datavalue":{"value":{"amount":"+0.7249256372451782","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":"Q1295420$B4D08417-1DE9-463D-9B92-66B546C2EF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c479952e78f280d887c45924f542f38c426dc260","datavalue":{"value":{"entity-type":"item","numeric-id":1354332,"id":"Q1354332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb358325b19428189a01f7a4485c535d3f5031b","datavalue":{"value":{"amount":"+0.7223325371742249","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":"Q1295420$B1548455-84BD-4F38-A741-100EDDDC8768","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_arithmetical_content_of_restricted_forms_of_comprehension,_choice_and_general_uniform_boundedness"}}}}}