{"entities":{"Q2915894":{"pageid":2926614,"ns":120,"title":"Item:Q2915894","lastrevid":79759379,"modified":"2026-05-06T14:38:52Z","type":"item","id":"Q2915894","labels":{"en":{"language":"en","value":"Herbrand consistency of some arithmetical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083954"}},"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":"Q2915894$BCB0C2BD-F4B0-4F7B-A0D1-E455ED67E9B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4bacf362662d7c41a65f47724e7532d3b5dc49a","datavalue":{"value":{"text":"Herbrand consistency of some arithmetical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915894$9C4EDF95-83D5-44B2-A493-406E58A9C4D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4d0d2d4c46ad51b5251d8c3fb1f4a6a27c214e4","datavalue":{"value":"1256.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915894$7D8B30D7-CA15-41A2-B9C9-C9780685354B","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":"Q2915894$25E85C33-6F03-440B-89DC-8582CA86F44D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915894$77508EE2-E388-4D23-93C8-C0840A1BBCA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19243109578c403d4b54dbc6dfce99a62926013c","datavalue":{"value":"https://arxiv.org/abs/1005.2654","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915894$A15A6F99-56E6-495F-AB4C-F702D1EE600F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"70ebfccbabdfa29642984e07df6939f874979a97","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1344862163","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915894$1334C62E-3BBC-4D90-A5C3-376AD344853B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915894$0671401B-63BF-4856-AC98-F35228B2F94F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd26d103c7038bfd03618cffe08947897ea4ec32","datavalue":{"value":"6083954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915894$5B569CB4-BC77-4233-8D3B-92CD157F7A16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0e39b69355da30f83864b3ea6177412072d018","datavalue":{"value":"cut-free provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915894$1F7790CA-BBC0-486E-8332-57A3374E2165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd1c8c9cd2902f61789bb409311da19fc2159a2","datavalue":{"value":"Herbrand provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915894$90D7B1C8-4110-496D-879C-2853CA499DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598e772e6c9bd0ca4d67614aebd45d2839a5ee87","datavalue":{"value":"Herbrand consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915894$C66B6491-9BBF-45EC-881B-C66A7580C34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4962d7b27a92752ea07ea875b01660009639e3e2","datavalue":{"value":"bounded arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915894$D515D5BC-E7E0-4714-807F-1C89BD636343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fab3f4a52d36fa801df826fbf2776241b7449b","datavalue":{"value":"weak arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915894$FB9C51EB-D740-450E-91D9-B8582EFC41CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2da178dcad00da3915f511e474a1a774599ef","datavalue":{"value":"G\u00f6del's second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915894$5D5E0F39-BA01-46FB-BFE9-F62122CD3953","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":"Q2915894$9B366451-38AC-4A81-B01D-1FFF801FFA76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcce0a52005fa59668642fc4b13ae3334cfe6d78","datavalue":{"value":"W1591524845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915894$5462ED52-3191-4FAA-9BE4-6346E05BFFB5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d9246be4f3ccb2dc2b30c5ef6025900cb0a6b87","datavalue":{"value":"Q57533047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915894$E15624F0-6EC2-4DD9-8808-A62B2339AA9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f807e822d0eb94f94a33cc093b4ee1111ab9b7","datavalue":{"value":{"entity-type":"item","numeric-id":4863274,"id":"Q4863274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915894$3C0B56C3-66F5-49D1-954E-8DE1F012E3E1","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":"Q2915894$B8B32B6E-5291-4BB7-8A59-5BE0B7510532","rank":"normal"},{"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":"Q2915894$57A9A941-0AD6-4F99-B1A9-B4BF3B09BA50","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":"Q2915894$3D333182-8D99-49B6-A870-BB7FF42C30A1","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":"Q2915894$F7DD24BD-39C1-469A-9C9E-2E18F8D99CF8","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":"Q2915894$B4135B1C-CF29-465C-8C81-8BF40BA43BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915894$06B4A62E-ED66-44A1-938D-56F8C9665BBA","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":"Q2915894$9866DFE9-1FC8-4792-ADEF-1DF1D14D22B2","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":"Q2915894$B0ED3C23-2D75-4D4D-94FC-F9EE4845A7FD","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":"Q2915894$129ACF58-9209-45C7-968D-D54F2CB61385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0318b971b73f30f5a23ae351b619d9b62a6b88b7","datavalue":{"value":"10.2178/JSL/1344862163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915894$64046238-2CBD-4B17-9C4D-34FB705D7AAF","rank":"normal"}],"P1643":[{"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":"c638c83f8bdb06c96aab2d6334661f3af33c0b64","datavalue":{"value":{"amount":"+0.93369627","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":"Q2915894$64C01B20-F9C3-4623-8038-1A30A025BC6E","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":"ca945c6dc14803a9ff774d8756c1968a42e5fc2b","datavalue":{"value":{"amount":"+0.9186607","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":"Q2915894$FA42E8CB-DA62-4405-9E52-37D70E82E382","rank":"normal"},{"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":"a75f7190203f7fec1b372d088148cfddc296011a","datavalue":{"value":{"amount":"+0.9092159","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":"Q2915894$7B40BDCB-F284-47D5-BB0F-86F99A17ECD2","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":"b9ada373d2073411a1ccfda4445dfc9671c4d68a","datavalue":{"value":{"amount":"+0.906299","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":"Q2915894$3716E56A-E9DE-4530-B4C0-E6F11C7A9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9841ac2bcd533797050e9f058c45900833a23067","datavalue":{"value":{"entity-type":"item","numeric-id":3824311,"id":"Q3824311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecdf0bbfc4d8a6350f96f9c1bb94c67bff61329","datavalue":{"value":{"amount":"+0.8894203","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":"Q2915894$C8093972-2F35-4394-80FC-D19B45125BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc01fded0132f7058e41b358ca41be9ad66853","datavalue":{"value":{"entity-type":"item","numeric-id":4648945,"id":"Q4648945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b430f20f30f35b5ef99860015b670068f0944f89","datavalue":{"value":{"amount":"+0.88884485","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":"Q2915894$53B2EFB4-295D-4E1D-B96C-1CEFD7D547A8","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":"27f93a42a775d9c04bb2d1f18d74cd9d8ff2c67b","datavalue":{"value":{"amount":"+0.8860952","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":"Q2915894$E496E164-069C-4DA1-A455-B19D220E1D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d379272fd586084fcc0dfe56e611e00c99324d56","datavalue":{"value":{"entity-type":"item","numeric-id":5895465,"id":"Q5895465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9e91c4ce35d80e3028615ca109fa715a6a6caf","datavalue":{"value":{"amount":"+0.87978774","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":"Q2915894$429743B4-26E0-446F-9638-16836FCFF62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9639ab7c12ae1d3ef2752b0098d545c404593755","datavalue":{"value":{"entity-type":"item","numeric-id":5361245,"id":"Q5361245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc0df97656e166f181e0996df968f9c072bc2d9","datavalue":{"value":{"amount":"+0.8761971","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":"Q2915894$B6D3E674-B627-45B5-B447-6D14A5F486C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95edf9163bfa4fb8a11f650f4dfdcb4e85e2947","datavalue":{"value":{"entity-type":"item","numeric-id":3101104,"id":"Q3101104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d160bac6224692f00a2e243fba39b5f65780d62","datavalue":{"value":{"amount":"+0.87334275","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":"Q2915894$F84514B0-CC48-4948-B76F-2B0C852B8960","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915894$7D6AD9A6-5EDD-465B-930C-024FED643AD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9acda07e6e8ed5ca1450482082c56bb630203c2","datavalue":{"value":"Herbrand consistency of a theory \\(T\\) means that every finite Herbrand conjunction of \\(T\\) is satisfiable. The author modifies a construction by \\textit{Z. Adamowicz} [Fundam. Math. 171, No. 3, 279--292 (2002; Zbl 0995.03044)] to establish that \\(\\mathrm{I}\\Delta_0+\\Omega_1\\) does not prove Herbrand consistency of \\(\\mathrm{I}\\Delta_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915894$46C96227-1C7D-4651-9B31-614508B091CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915894$64B97F05-EBE5-453C-B0F2-428466FC9520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand consistency of some arithmetical theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_consistency_of_some_arithmetical_theories"}}}}}