{"entities":{"Q2893322":{"pageid":2904047,"ns":120,"title":"Item:Q2893322","lastrevid":58056750,"modified":"2026-04-03T15:27:11Z","type":"item","id":"Q2893322","labels":{"en":{"language":"en","value":"Separating bounded arithmetical theories by Herbrand consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048167"}},"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":"Q2893322$61DADE4F-9BA3-452E-A377-E928F20FD3D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66312737c326b5c5149e5e28add8f19ce9d38a22","datavalue":{"value":{"text":"Separating bounded arithmetical theories by Herbrand consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2893322$5A3114E6-0A44-48C9-B634-7A076FECE4A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f52f0fd3e05afd8fadb666b98fa846698ebd822","datavalue":{"value":"1252.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893322$86F2BFE4-2AE7-4466-BD87-83AA9FCCF81E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b1c83971d160faa3e32e3b0606692b817762b53","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893322$54666AA4-02A4-40AD-8260-C957651F50D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2893322$3DA6A083-B22C-4270-81B6-C28538FBE76D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73f2ae862980aea38a34091df5e146b8e0a23738","datavalue":{"value":"https://arxiv.org/abs/1008.0225","type":"string"},"datatype":"url"},"type":"statement","id":"Q2893322$6826CCAE-EA89-47AC-9538-B6CAB9E640DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893322$C6A0F06A-AE06-46E2-969D-07926C23A07F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bfe068fb5a172874859604c90b4f7d07e61791c","datavalue":{"value":"6048167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893322$9740736E-02BD-48CB-8CA7-138A547A0837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4962d7b27a92752ea07ea875b01660009639e3e2","datavalue":{"value":"bounded arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893322$F1F7C0C5-C50D-41FC-98BB-5024538D99CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598e772e6c9bd0ca4d67614aebd45d2839a5ee87","datavalue":{"value":"Herbrand consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893322$6DE25B8A-521F-489F-A736-8EC02A665C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7604009032a61a2ed27f6f31a9647d0e80f5eb","datavalue":{"value":"\\(\\Pi _{1}\\)-conservative extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893322$32C3876C-1B90-487D-85B0-0911C4E8732D","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":"Q2893322$E40DD57C-A09A-43D3-8663-1E2D3AB96F83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da1aaa4de3bc3dcb28b37086cd2f44281bb06fe2","datavalue":{"value":"W1601252601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893322$83C6F393-C58E-4000-A929-87A1B073A2AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d62ea392ece4feb185d07b07412789083f1ce4a6","datavalue":{"value":"Q57533051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893322$DE70E150-340F-4C32-AA1C-C60EC1402833","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"773e2de54f52e5cd999ad137df855c0de70b2f8f","datavalue":{"value":"journals/logcom/Salehi12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893322$69E5E05E-F389-4A86-A193-63B55E02570B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9784df483349f57a2f6fd137a4c6fb437f5dac0","datavalue":{"value":"10.1093/LOGCOM/EXR005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893322$10BC5B32-AA33-4D94-945C-A1593F3CB987","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893322$599F90D7-DF77-4CDF-8778-5D756CAB1FDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9960637f019fe869c480c5fea52d6f1f06e593c7","datavalue":{"value":"The paper is devoted to the problem of \\(\\Pi_{1}\\)-separating the hierarchy of bounded arithmetic. It is shown that the notion of Herbrand consistency in its full generality cannot \\(\\Pi_{1}\\)-separate the theory \\(\\mathrm{I}\\Delta_{0} + \\bigwedge_{j} \\Omega_{j}\\) from \\(\\mathrm{I}\\Delta_{0}\\), though it can \\(\\Pi_{1}\\)-separate \\(\\mathrm{I}\\Delta_{0} + \\mathrm{Exp}\\) from \\(\\mathrm{I}\\Delta_{0}\\). In fact it is proved that Herbrand consistency of \\(\\mathrm{I}\\Delta_{0}\\) cannot be proved in the theory \\(\\mathrm{I}\\Delta_{0} + \\bigwedge_{j} \\Omega_{j}\\). The result partially extends a result of L. A. Ko\u0142odziejczyk, who showed that for a finite fragment \\(S \\subseteq \\mathrm{I}\\Delta_{0}\\) the Herbrand consistency of \\(S + \\Omega_{1}\\) is not provable in \\(\\mathrm{I}\\Delta_{0} + \\bigwedge_{j} \\Omega_{j}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893322$F319E89B-A196-4095-B18E-79F8950263AA","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":"Q2893322$FEC92A08-3706-4F24-B6F3-8BCF03F8B08C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d26d19e51029fff8c07fa8c6a01d3f2b7a0bc0","datavalue":{"value":{"entity-type":"item","numeric-id":2377353,"id":"Q2377353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a58649497ed7e5c90e707a76c8037f40af954a","datavalue":{"value":{"amount":"+0.8724284768104553","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":"Q2893322$9EBA8784-D79B-42E1-A584-A97D6DCB4E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c6fdb8651704316b082c85a96e8f0db8ed5b86","datavalue":{"value":{"entity-type":"item","numeric-id":5950714,"id":"Q5950714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8760e915e5a4e4326d6fa54ec0db4b57ccf1da","datavalue":{"value":{"amount":"+0.8541732430458069","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":"Q2893322$FF0FE71D-4866-4C8C-A406-7E5D462039F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1472b03b22248750e975359b6c8aba5c209a9467","datavalue":{"value":{"entity-type":"item","numeric-id":2773372,"id":"Q2773372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f605ce9c826697a9ee331cf2446b552ba2a7093f","datavalue":{"value":{"amount":"+0.8283707499504089","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":"Q2893322$A57C6A12-F5A6-4F67-A033-311070460504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6add634383be2c190127cd21b31957f90d0943","datavalue":{"value":{"entity-type":"item","numeric-id":3083669,"id":"Q3083669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595c43f2d480fa30acb68b798d3e13b6e4a1c004","datavalue":{"value":{"amount":"+0.8274503350257874","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":"Q2893322$5AC0FD7A-7C22-4415-BAF2-B4A735F48ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b45db420521eb08f46a4d86a7c19498e5668c97","datavalue":{"value":{"entity-type":"item","numeric-id":2915894,"id":"Q2915894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e893151d75d51f9b0793543a293785cc7872ac3","datavalue":{"value":{"amount":"+0.825499415397644","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":"Q2893322$2B103D41-3708-45A7-A07D-82F69914D733","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2893322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2893322"}}}}}