{"entities":{"Q922540":{"pageid":924388,"ns":120,"title":"Item:Q922540","lastrevid":65434722,"modified":"2026-04-12T02:34:00Z","type":"item","id":"Q922540","labels":{"en":{"language":"en","value":"Exponentiation and second-order bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168674"}},"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":"Q922540$F3EF1818-2E68-4837-8FAD-A6D85D97F7D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7b93a1f81657a357afa208e7def4f7363fccb2b","datavalue":{"value":{"text":"Exponentiation and second-order bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922540$D59F8150-C397-4F31-B0F5-BA91A2613F3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a6a753a3295ededb6943339e80f6cf05786a767","datavalue":{"value":"0711.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922540$B599663D-283E-4C6A-93BE-88DC4E298CC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5b239abe3e010a7428e01342f19f0bb4aa1e1bf","datavalue":{"value":"10.1016/0168-0072(90)90023-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922540$7592B56E-8EC0-47C5-B8A0-3859532861FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922540$4DB10318-3902-4397-AEDC-AA6778971E88","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":"Q922540$EC3E2472-F229-4AA4-8469-03E00FFAC25F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q922540$7B342EEF-DAE8-4C25-8444-64011AEF84A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"899ae8cc56efea215bb61ca9c37c08016eecf052","datavalue":{"value":"The paper is devoted to the study of exponentiation in second-order bounded arithmetic \\(V_ 2\\) and \\(V^ i_ 2\\) [introduced by \\textit{S. Buss} in ``Bounded arithmetic'' (1986; Zbl 0649.03042)]. It is proved that: (1) \\(V^ i_ 2\\vdash A(a)\\) iff for some term t: \\(S^ i_ 2\\vdash ``2^{t(a)}\\) exists \\(\\to\\) A(a)'', A a bounded first-order formula, \\(i\\geq 1\\), (2) \\(V^ i_ 2\\) (resp. \\(V_ 2)\\) is not \\(\\Pi^ b_ 1\\)-conservative over \\(S^ i_ 2\\) (resp. over \\(S_ 2)\\), (3) any model of \\(V_ 2\\) not satisfying Exp satisfies the collection scheme \\(B\\Sigma^ 0_ 1\\), (4) \\(V^ 1_ 3\\) is not \\(\\Pi^ b_ 1\\)- conservative over \\(S_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q922540$CD1558CF-B92A-4035-A24D-7A67CF7D2C67","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922540$340E1110-ADEA-44E3-80A7-47AFEB4E2316","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922540$FB148934-5ABD-4B3C-936B-94A75C20F8F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abc503d0711bf20241dadab96f28a3362e8a64b9","datavalue":{"value":"4168674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922540$58269CEF-6301-463C-AD7F-61DD8EDEB7AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922540$8EF3054C-906A-4E75-A28D-5F52D847B243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q922540$FA559D39-1E7F-44E6-86BF-EB4418AA55E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187bbe71263b0bc3352e90a8eff495bb8366bb6d","datavalue":{"value":"second-order bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922540$44565A9D-C8B7-4826-A8F6-7C96ADAC4A6A","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":"Q922540$BC83B949-D040-4ABA-8453-B10AF29FDA4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922540$A10458E0-BCE6-454B-AB79-185F134C3CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922540$7F270D6D-C817-4316-9A93-A37A06659A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922540$61FAEB0A-F049-4D44-AD51-3160E7E8CE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd225d509accf443965fd398d8d1fca16775d4f6","datavalue":{"value":{"entity-type":"item","numeric-id":3470461,"id":"Q3470461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922540$57E1A9FE-EBBF-40E3-90D7-39615E3B41C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b017d1f28bd3380b738de7a9b6bd65fdf2dd7eb","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922540$3F4C4409-EBDD-4481-B609-6E35E6836D68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40276e0be76d48d778707b521dd611651d9d10f","datavalue":{"value":{"entity-type":"item","numeric-id":3816072,"id":"Q3816072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429de6236109e228dd23d6e159a8ac9a36290bac","datavalue":{"value":{"amount":"+0.8461882472038269","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":"Q922540$558F648A-197A-4121-90AA-BB98F4CA6A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48df2ed64dac1e71e24bad9fbb0685bf802012","datavalue":{"value":{"entity-type":"item","numeric-id":4694224,"id":"Q4694224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db5cd282db8dac764643ced2a51ce31adcd0633","datavalue":{"value":{"amount":"+0.8121317625045776","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":"Q922540$0BFCE488-E020-4146-9D05-B737263372F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421fbc9777950af1140fc5326d9bb218f8d06ec7","datavalue":{"value":{"entity-type":"item","numeric-id":4324357,"id":"Q4324357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8c195fdcef227f5e33405f011cf2a94b180aaa","datavalue":{"value":{"amount":"+0.8093125820159912","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":"Q922540$7E5C313A-F170-4FEE-9BA8-09F91DA7C42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242389439ac99f0043978be6bf447b2a362ff2a","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6c41fa351ced4e038f7d4cda896758690efa43","datavalue":{"value":{"amount":"+0.8056491017341614","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":"Q922540$BB042592-2DAB-47CF-B2CE-FCD7CD807FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4391ef12e51c3ce2230d0e5e03d87c41a53878","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab025f00bec604a6b7590fd98aeb3eb72ed282e","datavalue":{"value":{"amount":"+0.798922061920166","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":"Q922540$8BA533EA-63B9-471D-BE0B-9D90675750FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exponentiation and second-order bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exponentiation_and_second-order_bounded_arithmetic"}}}}}