{"entities":{"Q1125060":{"pageid":1135809,"ns":120,"title":"Item:Q1125060","lastrevid":66815937,"modified":"2026-04-12T13:03:05Z","type":"item","id":"Q1125060","labels":{"en":{"language":"en","value":"Structure and definability in general bounded arithmetic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1371590"}},"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":"Q1125060$37CF50EE-87D2-4E1A-B379-BAE413D5415D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bda2b259a12c90511af642e78e7967e8c27aef0","datavalue":{"value":{"text":"Structure and definability in general bounded arithmetic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125060$BA7214C6-9BB9-4031-88A0-F86B6B79618A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d19696e91f24ef0b0296502b278369b033a26a7e","datavalue":{"value":"0935.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125060$268E9B8C-9E19-4E14-A09B-05C1C87BDC41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c225f600a1efe06657692dbf222af49455b83270","datavalue":{"value":"10.1016/S0168-0072(99)00008-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125060$92D2F93D-7032-4BF1-A13A-33A9444C7CF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f265f65791bd9957302fd85839e81b987fca6e","datavalue":{"value":{"entity-type":"item","numeric-id":535151,"id":"Q535151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125060$6DF83DA0-E6A7-46AB-9976-CC5C45C09EFE","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":"Q1125060$84533203-3AB4-4FE4-B8C9-AB3DB43B4D1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125060$135929BD-DDF6-44C6-9F9F-976774055465","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb6bebf45569d93561f5a4c575cdb04633084121","datavalue":{"value":"The paper is devoted to the study of bounded arithmetic theories. The main problems studied are motivated by the following questions:   (1) What are the \\(\\Sigma^b_{i+1}\\)-definable multifunctions of \\(R^i_2\\)?   (2) When is one theory conservative over another?   To answer these questions, versions of the theories \\(R^i_2\\), \\(S^i_2\\) and \\(T^i_2\\) with induction restricted to prenex formulas are introduced and studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125060$D127B9A4-738F-4D1B-9133-D0DD6E1DB665","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":"Q1125060$379B9E9B-68D1-4B85-AF92-2397B98B335B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125060$F46B30CB-53F9-414D-9545-C5E425620E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125060$D2F87D1B-A08D-475E-BA20-C130DD7C9D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72d9243058b34f73341a42cda94df063342f32d5","datavalue":{"value":"1371590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125060$05D841DA-13B9-40D8-BBE1-7983E50258E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125060$83407361-ED47-4DF2-80C2-CCCBCCE5D9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125060$F9361D9C-1D97-45B2-B933-7514613A37D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1de0b50071eace1c6bc8545fc0d95e036654e57","datavalue":{"value":"bounded arithmetic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125060$A6E307E2-D5E7-4B0D-B507-7E8FB5D5E6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125060$18FD40A5-26C7-4302-80A8-51208BF1DE91","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":"Q1125060$CEABEF7F-761E-4BAF-BF9A-3F4BB1A07D47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc6ff325a16239f9d3a7fdfb2088338f9aaf004b","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(99)00008-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125060$23548FF4-55B3-4C91-83F5-2278E02F0402","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6f6d079e126f873bb615009f8cb003d89d63acb","datavalue":{"value":"W2160804094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125060$01D2F5BF-7DD1-400C-9BAC-0A771C53E6DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552eba4174ae55f2729ad5e368f095c2a155499f","datavalue":{"value":{"entity-type":"item","numeric-id":4419268,"id":"Q4419268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b30a58ec2305a75ea038b180361a1de91acdba","datavalue":{"value":{"amount":"+0.93047214","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":"Q1125060$8F9BDE4B-AAD9-49FF-BE61-FB745F4074DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85634a152828f5b387af46f85759fd1c0fc7b16","datavalue":{"value":{"entity-type":"item","numeric-id":4348126,"id":"Q4348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11fb30ef36b774ec4d59c21a82204d3cec373a4d","datavalue":{"value":{"amount":"+0.92329425","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":"Q1125060$25629E8D-81A6-4217-AF34-5492F3385D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdd27b198190ff3ad89c3388c78e942d0fe973","datavalue":{"value":{"entity-type":"item","numeric-id":3714071,"id":"Q3714071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eecf3bb8ae0bedba483cfe300302cd0eb330b2d","datavalue":{"value":{"amount":"+0.911167","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":"Q1125060$B3CF44D1-8A46-4CEB-9D3B-7A427E9C6879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ff0de660c04e4e09b96e9bd02c1c5c42c03e13","datavalue":{"value":{"entity-type":"item","numeric-id":2118177,"id":"Q2118177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c993a3dd8db641d67d493c43a7abfeec6a66d97","datavalue":{"value":{"amount":"+0.9086649","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":"Q1125060$E4E33ACE-DD41-4448-AB71-192F90095A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b42b414830223420ae4e7c631b8883e19dc093f","datavalue":{"value":{"entity-type":"item","numeric-id":5459305,"id":"Q5459305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb86cb447041ef1be56dfa2d171b7800d67ad34","datavalue":{"value":{"amount":"+0.90780926","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":"Q1125060$C5410D90-23F6-4809-AE98-C1C7B836CD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8227f056be89decc4f30534f89c96cc05f1dd9","datavalue":{"value":{"amount":"+0.9073093","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":"Q1125060$280672B8-674F-4AB4-BAF1-1BDA961C1ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e7cde605abbc6a59fd22304460b9e5906cc409","datavalue":{"value":{"entity-type":"item","numeric-id":4530148,"id":"Q4530148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1bba0ce88e88e87a1cea37005b6b6b0656255f","datavalue":{"value":{"amount":"+0.9061271","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":"Q1125060$0E10BEDE-B7CD-4579-B83B-4DDECFD9A03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cf4ff14303448f7bcbde22a6ad41ae3e4803be","datavalue":{"value":{"entity-type":"item","numeric-id":884960,"id":"Q884960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca76f9c9a5d145d43cbe690c4d35ebc06800a9cf","datavalue":{"value":{"amount":"+0.9057119","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":"Q1125060$19DCAB6F-C765-4558-8E09-5C9C66E4CF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8e5f9cf36a5e1a40ffe4731997cfd8e21b9d95","datavalue":{"value":{"amount":"+0.90381557","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":"Q1125060$1348D079-626C-4F74-90A9-3CB39C634E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755b89d085469cf308a10db0f06bb2704e7a4ced","datavalue":{"value":{"entity-type":"item","numeric-id":5393633,"id":"Q5393633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d16eb5c88fb6e84c70176982638447c0e2ead5","datavalue":{"value":{"amount":"+0.90329766","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":"Q1125060$26B2D995-B9BA-4DE1-B575-4A3DAFEF3F01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structure and definability in general bounded arithmetic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structure_and_definability_in_general_bounded_arithmetic_theories"}}}}}