{"entities":{"Q2377353":{"pageid":2388096,"ns":120,"title":"Item:Q2377353","lastrevid":57891900,"modified":"2026-04-02T23:40:04Z","type":"item","id":"Q2377353","labels":{"en":{"language":"en","value":"Herbrand consistency of some finite fragments of bounded arithmetical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182640"}},"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":"Q2377353$0FE8F2AE-0D12-4DAD-8AAD-9BAC20C49F4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eb2d94b3d145881f84fb63705bfc765738b669f","datavalue":{"value":{"text":"Herbrand consistency of some finite fragments of bounded arithmetical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377353$7FAB2335-15A3-4F3B-A71D-BDC9E351B6BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"341b587f5d877006ca1486f4df6bb2d4129d08ad","datavalue":{"value":"1308.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$AF11C910-8EE5-440D-9882-8907BBBB8117","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":"Q2377353$CAE582B0-81F7-4F37-A005-D710750F419A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$49AD2400-8F3B-4847-9F78-EEF8EF280E33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2377353$23346943-0337-4B01-8B6C-3EEF208F47FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ff3946165f87201d5803d6b7e402e2a1b5ed149","datavalue":{"value":"https://arxiv.org/abs/1110.1848","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377353$7E0FB0D5-CAE1-414A-8A1C-F60436AAD382","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"41f0e052acd998bfcafb728b1b31c23e79a8c523","datavalue":{"value":"A theory \\(T\\) is Herbrand consistent if every finite set of instances of its Skolemized form is propositionally satisfiable. The author presents a formalization of Herbrand consistency suitable for bounded arithmetic and exhibits a finite fragment of \\(I\\Delta_0\\) whose Herbrand consistency is not provable in \\(I\\Delta_0\\). This improves a previous result of the author that \\(I\\Delta_0\\) does not prove a form of its own Herbrand consistency [the author, J. Symb. Log. 77, No. 3, 807--827 (2012; Zbl 1256.03065)] building on related results by \\textit{Z. Adamowicz} [Fundam. Math. 171, No. 3, 279--292 (2002; Zbl 0995.03044)], \\textit{D. E. Willard} [J. Symb. Log. 67, No. 1, 465--496 (2002; Zbl 1004.03050)], and \\textit{L. A. Ko\u0142odziejczyk} [J. Symb. Log. 71, No. 2, 624--638 (2006; Zbl 1099.03050)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377353$F4B4C94F-A547-44B4-9559-5B9CE39E17C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$15CC9ECF-1921-4DA4-B340-4A469BFE610F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$4F464E7D-B34E-4756-98E1-5C9B2E904815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$348610A2-E7DD-4EC6-B46F-0FF89804DAFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd81fa72782b3fbfbaf0dd115a9dc0d14e517502","datavalue":{"value":"6182640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$6C256D38-F258-492E-BBAC-554DD4D90772","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598e772e6c9bd0ca4d67614aebd45d2839a5ee87","datavalue":{"value":"Herbrand consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377353$0FC24A0F-F98C-4EC5-8542-0AB5D362191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377353$011CA213-8C22-40E5-AD6E-2A0CAE257887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2da178dcad00da3915f511e474a1a774599ef","datavalue":{"value":"G\u00f6del's second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377353$FA4E2E5B-4ACF-480B-8F04-4DF436268FCE","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":"Q2377353$86FECB16-4211-4573-92A1-7D499FE4FBEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e542f75168ccb63f254d56144b0be7ba8e135372","datavalue":{"value":"W1987550178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$6588E8F5-A16B-4B74-ABC4-39121A1DFAF5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ca60d28eece6e25b6cd1a4cc1956d297c8208d5d","datavalue":{"value":"Q57533042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$B01F3CC2-6F76-43CA-9273-9A0313D2D774","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb01ba64cb8cbb3acec998e8a3c187a7d0c1919","datavalue":{"value":{"entity-type":"item","numeric-id":5950714,"id":"Q5950714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$9A3B8223-2155-4C4D-BBFF-F17BCDA23791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3dbe0918c11706990b4aeae4be4e97ec601092f","datavalue":{"value":{"entity-type":"item","numeric-id":2773372,"id":"Q2773372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$D4150014-AA59-40C1-800D-4A2CA2187E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636bd06f249dc0d246648ab8475951e991e68349","datavalue":{"value":{"entity-type":"item","numeric-id":3083669,"id":"Q3083669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$BD0BD0FB-17CA-4ACE-AB79-FDDD8B569692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e40398e6c25ac0198640331562ba76d0f8ca1c4","datavalue":{"value":{"entity-type":"item","numeric-id":5480630,"id":"Q5480630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$E177FDBE-AED4-4672-A960-31818F6032F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$FC7805B2-9C63-483A-BFAC-835EA51B7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379eb990a736e70b31fda8c5d4faf242b6e29696","datavalue":{"value":{"entity-type":"item","numeric-id":2915894,"id":"Q2915894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$B35AE515-12E9-4F8B-8DA1-0FF501ADE396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863ff8c8da0f80f402868489011517053fc12a71","datavalue":{"value":{"entity-type":"item","numeric-id":882120,"id":"Q882120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$C0718772-CDD9-4777-AB92-CB57A9B4A1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d9649e38adff2cc02cd4901cd28e5e8d0d973","datavalue":{"value":{"entity-type":"item","numeric-id":2893322,"id":"Q2893322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$9EEB00AB-25A7-4986-B558-F5FBBEE62A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57dc0a92e73327004dccebdd15f698398210567","datavalue":{"value":{"entity-type":"item","numeric-id":4532626,"id":"Q4532626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377353$847ACE88-C623-48E9-ABF4-168911CD838C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ac9b64428e3195e05214dc2852201034dfbd149e","datavalue":{"value":"journals/aml/Salehi13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$B5479F04-1EC7-428C-A7CE-AA28CA453962","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1642fb5d3a464ab6013767ef0263ef70b74f651","datavalue":{"value":"10.1007/S00153-012-0318-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377353$448A0CA4-5DA7-4CA8-9F7D-190143927DDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff64fbbb2c1895787f22e2918d1b5c324b7085e8","datavalue":{"value":{"entity-type":"item","numeric-id":2893322,"id":"Q2893322"},"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":"Q2377353$C496F462-EDAF-4E16-9032-E559AA434D8A","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":"df42fd2df671f6b6bf3745ebb4727c0cda54a915","datavalue":{"value":{"amount":"+0.8718597888946533","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":"Q2377353$75D0E70C-22E9-42DF-9A49-311B79295810","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":"989ef8ff70463c06f051c9673e56df5c4ec85eff","datavalue":{"value":{"amount":"+0.864712655544281","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":"Q2377353$E62C222B-9F9E-4143-A1EE-C177BCDC767B","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":"60ea87b7da2010bff32fbda8e2370182c4722a92","datavalue":{"value":{"amount":"+0.8588168025016785","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":"Q2377353$71B7FD98-37D5-4D3C-826D-74DB05198807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367f72c9c12a321d1e6da57aaab68fd9ede10998","datavalue":{"value":{"entity-type":"item","numeric-id":5480630,"id":"Q5480630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc4853e58882d581bffc964d508ee20d03c05c2","datavalue":{"value":{"amount":"+0.8562815189361572","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":"Q2377353$D5B26AC9-6E74-4F63-A000-DB9B7A86831D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2377353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2377353"}}}}}