{"entities":{"Q598285":{"pageid":600061,"ns":120,"title":"Item:Q598285","lastrevid":48307969,"modified":"2026-01-04T07:57:12Z","type":"item","id":"Q598285","labels":{"en":{"language":"en","value":"Preservation theorems and restricted consistency statements in bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083182"}},"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":"Q598285$76A4276F-68E8-453F-88B5-1C7ED931DE8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad598b5117fe036819b57cde092e84488d0655ee","datavalue":{"value":{"text":"Preservation theorems and restricted consistency statements in bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598285$7BD14904-FB71-4724-958D-43BD57610DCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0178f32cef6f1e2b9c8640ece5a3caf795cbb6e9","datavalue":{"value":"1060.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598285$DFDD057D-B177-4FDA-8C75-657FFA036E92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$BDA79301-7A42-4D3F-B7AF-0E37F320DED4","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":"Q598285$D8D495C4-BB38-40D7-B89A-1C3574EA425A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598285$52390F0D-A634-4ABD-A3E1-F7D8814F6C6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2b37b46c0b6cb3d84d7f4308c6985d446c3a9e8","datavalue":{"value":"In the paper a new restricted consistency notion RCON\\(^{\\ast}(T^{j}_{2})\\) for bounded arithmetic theories \\(T^{j}_{2}\\) is introduced and studied. It is the strongest \\(\\forall \\Pi^{b}_{1}\\)-statement over \\(S^{1}_{2}\\) provable in \\(T^{j}_{2}\\), similar to \\(\\text{Con}(G_{i})\\) of Kraji\u010dek and Pudl\u00e1k or \\(\\text{RCON}(T{i}_{1})\\) of Kraji\u010dek and Takeuti. The advantage of the introduced new notion is that it can directly be used to construct models of \\(T^{j}_{2}\\). It is applied by proving preservation theorems for certain theories of bounded arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q598285$876EA698-0BD5-4E2E-B758-000C055FAB2A","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":"Q598285$E743F216-9CA9-4D03-971E-DE12E0445DB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598285$290B9F12-5F0F-40EF-A146-8F189E7DC8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598285$3C42DF4C-5F5C-4170-B8C8-B9B8F27F7A45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a17137e4c375588fe899ea994b1dd678ff9e2d45","datavalue":{"value":"2083182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598285$573B2370-63B9-41C1-AA09-9DBE873C9CAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f72ab3d9b9b3b89043873724b99feee3452c364","datavalue":{"value":"Bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598285$2AE8CE2D-2C8C-4CF7-90E8-EF3EA0673894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95aa59e1f88bab335172f1465c6c697ead6fcb8a","datavalue":{"value":"Restricted consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q598285$B354EE90-FF53-419F-8807-653B4BFAD943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3f4561a7638a52e84076d67324eb4785fa24f72","datavalue":{"value":"Preservation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q598285$D34E27E7-2AB7-41D6-B77A-63155A68908F","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":"Q598285$E158FC07-F4DE-4140-A240-AA2DA276A01F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee76226ad1fa5731a6cfe798d7d03cceaba2567d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q598285$2F2750E6-80D3-478A-979B-C50284772C70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3d18172c97c9fc66117273e4d0cc028a3902b3c","datavalue":{"value":"W2005184534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598285$841BDB7E-D270-4A24-9693-1B8D659F19D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1604d9ad6d5f9f810317dd6dfd669eb73fce505","datavalue":{"value":{"entity-type":"item","numeric-id":685067,"id":"Q685067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$54F02AB2-B731-4667-9263-40906BC8016F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95c4379a94412314b54d33d3a59112f227094dc","datavalue":{"value":{"entity-type":"item","numeric-id":2732285,"id":"Q2732285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$E689C205-580C-4A7A-ABCB-9E6FB25D887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23af16c143a28b4ddcbadf98129b7f3d52151662","datavalue":{"value":{"entity-type":"item","numeric-id":5691043,"id":"Q5691043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$361B66DA-A681-4376-8EBE-DFE12F3E08DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f3a6eda64d9b228b86cf07f1c6f739dab80a5d","datavalue":{"value":{"entity-type":"item","numeric-id":4532615,"id":"Q4532615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$487AB0BC-7542-41AA-810D-AC7810C6CB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255cb2d6e70e65914082dfc6eadf76dd76556d6","datavalue":{"value":{"entity-type":"item","numeric-id":1407595,"id":"Q1407595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$D975E324-C741-411D-AA08-4F14419CCE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$037DFF3E-D38D-4546-86B4-9730228DACF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0fcfd3270d8132a5c16ecfbd29aeacae0e06cb","datavalue":{"value":{"entity-type":"item","numeric-id":3029007,"id":"Q3029007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$C32B91C3-2938-4090-B80A-9FA581B9EB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145db2d6e46a06cd634c4810cc8c691a66452769","datavalue":{"value":{"entity-type":"item","numeric-id":3476809,"id":"Q3476809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$359C0965-E0A8-4E84-AC98-D00EDD132360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59ac051da90312b45e1a154b6bcf5dbaee2e7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1899144,"id":"Q1899144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$432DA98F-0B2A-4E46-9EE2-B8C08DCDBA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$814E9F77-3DA8-4ACC-9A08-F55BA64EE7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$1C9A9133-4AC8-46A5-9C73-1269CEB83B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$13C71A3A-1978-4D6C-94BA-F00B4B0F57B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa334ace4db29422e0edd8fba974fef7cfda39cf","datavalue":{"value":{"entity-type":"item","numeric-id":1353982,"id":"Q1353982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$FA56CA8D-31CA-4925-B34C-3185C0719891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$439A3EEA-CF93-418B-95A6-A3A22F968E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055742d10f105b1812e0f5afc9cc4e1b47ddcc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1125060,"id":"Q1125060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$BDEAFB57-E1B3-4F10-BD50-178832B26750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c2968cc6b721b6a3c4a7d59ce8091493955850","datavalue":{"value":{"entity-type":"item","numeric-id":3360848,"id":"Q3360848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$A982AB44-530E-436C-866C-E7408DEFB6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b017d1f28bd3380b738de7a9b6bd65fdf2dd7eb","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$F03D7662-9B7D-456C-9901-7D3D470D8057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$F76D7453-C8AF-4312-9A49-7CD6E3A71E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd225d509accf443965fd398d8d1fca16775d4f6","datavalue":{"value":{"entity-type":"item","numeric-id":3470461,"id":"Q3470461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$ED549678-6105-4737-8A0E-192E7BCD2840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598285$6CB7F814-090C-4072-817F-E596B8C10139","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37569b54181429abd238680f17ef5f6f1bada874","datavalue":{"value":"10.1016/J.APAL.2003.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598285$A3F9C9E5-BEBE-4C8C-BC81-B27FB96BD128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cda04cbec2569998fe11424e5232522bb0942fa","datavalue":{"value":{"entity-type":"item","numeric-id":1125060,"id":"Q1125060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e36fcff4a8e9c0657971ae444497b8a18dbf1e","datavalue":{"value":{"amount":"+0.7671046257019043","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":"Q598285$22980D16-4393-4176-91EE-85DEE8AEC9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aea8aa15b141fb40b3d7bd7d5691250790e089e","datavalue":{"value":{"entity-type":"item","numeric-id":506954,"id":"Q506954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e36fcff4a8e9c0657971ae444497b8a18dbf1e","datavalue":{"value":{"amount":"+0.7671046257019043","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":"Q598285$8302044C-295B-4364-B8C9-A5AC94541631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c4c056f5b7980e481a8cd2f1203de9243ef4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1896613,"id":"Q1896613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2838c3fa86f48289b38fc219fc4c3c0b7a0d65","datavalue":{"value":{"amount":"+0.7562065124511719","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":"Q598285$AED8D2F4-0A70-40A0-90F8-91E02E7AD3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef99667338a9f6145b24341f7624b80670f137c","datavalue":{"value":{"entity-type":"item","numeric-id":3611724,"id":"Q3611724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1a13beac65f11d11c43db9ced9f10d0b52487f","datavalue":{"value":{"amount":"+0.7556943893432617","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":"Q598285$2E2F379D-4AFE-456A-AAE9-344DE709FC67","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":"256257eb3c568fbd240bd235404bd2373b286162","datavalue":{"value":{"amount":"+0.7549453973770142","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":"Q598285$E4335ED3-E73F-4E5C-8225-D3FA89F08824","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:598285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:598285"}}}}}