{"entities":{"Q2773372":{"pageid":2784110,"ns":120,"title":"Item:Q2773372","lastrevid":83294543,"modified":"2026-05-07T07:06:16Z","type":"item","id":"Q2773372","labels":{"en":{"language":"en","value":"Herbrand consistency and bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1709962"}},"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":"Q2773372$9BBAF0EC-0640-44A0-AC62-840D91328DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96dec2e41db79de164d55548dcbdd0c361366a25","datavalue":{"value":{"text":"Herbrand consistency and bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2773372$8FC11CD3-7C81-4285-9D99-980D439B614C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1c33fa5204d6b57be141ac6a4208b1478d7599c","datavalue":{"value":"0995.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773372$C289282A-6C61-403F-87B0-9433F182568C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f93faa10511765d980de6eff18c013c04e1406","datavalue":{"value":{"entity-type":"item","numeric-id":218976,"id":"Q218976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773372$4659E1FB-21AA-46A9-A530-F6DDC617BB8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773372$D78D4FAB-A2A6-4747-AE07-CBC64433CB58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f09bdbef578a377222c0ed9ff0b2d47d2ab3402","datavalue":{"value":{"time":"+2002-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2773372$A59082D2-3D71-4CA6-BE07-055676DF0425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773372$1404B608-CD4E-49ED-8CB4-6559B18D8F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773372$9041D4FB-74AE-4C75-9B17-941224746B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773372$427E7E36-007E-4D8A-9F6B-A235AE961894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e7a5d123fea2ca4dcf621a3344ca871637b94f5","datavalue":{"value":"1709962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773372$91F64E32-CD54-49A7-9AD8-BEB542598C59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a88963e986b35e6f4bdb0fe1bd2452b88993d62","datavalue":{"value":"G\u00f6del's incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773372$C754B7E2-04D3-4B45-9107-817C7AD65C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e109064cb69c6ea43adb51f5c5bd178b940472a","datavalue":{"value":"weak arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773372$BE0EE8F1-B981-4050-8E9E-C63682423166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773372$280B783E-074E-4AB9-87F7-0A317DB9D1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598e772e6c9bd0ca4d67614aebd45d2839a5ee87","datavalue":{"value":"Herbrand consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773372$9AC21687-1893-40C3-86B5-1BD672E89A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773372$B156704E-BCA3-4874-AEC7-0E3D9787A18A","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":"Q2773372$A2187576-E7F7-438B-B125-DC058D245D21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7211e0c57c8a7a00010c1ee7d38df279244e31e6","datavalue":{"value":"https://doi.org/10.4064/fm171-3-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773372$ACFCAECF-FAD3-4EFE-B599-5FB214FD3218","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59ccd6f7e06ef80a26b167ad7483007d39c8a474","datavalue":{"value":"W2035207489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773372$84D354C1-CA00-4B26-9422-DF76BCC734D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f4fe2867e5ce0f4f1372a2eb1b6f656ce3926a5","datavalue":{"value":"10.4064/FM171-3-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773372$DEF61695-9D61-4C67-A8DE-08B0F452F64A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c42b90acd026ca8bcddcaa5042c25f9edb38b11","datavalue":{"value":"It is proved that G\u00f6del's incompleteness theorem holds for a weak arithmetic \\(T_{m} = I \\Delta_{0} + \\Omega_{m}\\) for \\(m \\geq 2\\) in the form \\(T_{m} \\nvdash \\text{HCons}(T_{m})\\) where \\(\\text{HCons}(T_{m})\\) is an arithmetical formula expressing the consistency of \\(T_{m}\\) with respect to the Herbrand notion of provability. It is also proved that \\(T_{m} \\nvdash \\text{HCons}^{I_{m}}(T_{m})\\) where \\(\\text{HCons}^{I_{m}}\\) is HCons relativised to the definable cut \\(I_{m}\\) of \\((m-2)\\)-times iterated logarithms. The theorems are proved by model-theoretic methods. In the paper a certain non-conservation result for \\(T_{m}\\) is also proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773372$5AF31D92-29CB-41E4-9FF8-8A8A8C12A2F8","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":"Q2773372$4781D07A-4764-4E88-8890-5665DD556DEC","rank":"normal"}],"P1643":[{"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":"9a49186d6e1cfac6148e53ec0c4e714f6815e092","datavalue":{"value":{"amount":"+0.941040813922882","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":"Q2773372$6FBA1B06-BCBE-453E-B04A-BDEBDAB51976","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":"f4ce6b1a43fdf980940a0c1dc6fe08f1a264037f","datavalue":{"value":{"amount":"+0.8918092250823975","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":"Q2773372$3873A50D-6028-4889-BB00-6AF715BC3385","rank":"normal"},{"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":"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":"Q2773372$C2E16B2C-1AB8-442E-843A-243ECFD93DE6","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":"d1944157b1696ab6867e81e5288f8ab95c50462c","datavalue":{"value":{"amount":"+0.8593305349349976","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":"Q2773372$237C7B9F-4C3C-4DB2-A403-C598CD05B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd588964afbae448a4cac58ae86e516228bf9c80","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c158f1cb90c0f130510962cacba97c84d3c8e90","datavalue":{"value":{"amount":"+0.8509219288825989","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":"Q2773372$E36A9116-C80D-4826-BDB1-05F7DD4AF8F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand consistency and bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_consistency_and_bounded_arithmetic"}}}}}