{"entities":{"Q866557":{"pageid":868405,"ns":120,"title":"Item:Q866557","lastrevid":64947153,"modified":"2026-04-11T23:17:47Z","type":"item","id":"Q866557","labels":{"en":{"language":"en","value":"Partial collapses of the \\(\\Sigma _1\\) complexity hierarchy in models for fragments of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126399"}},"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":"Q866557$6057A8F1-3734-48A7-BBFC-029C8D315BFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14bdb52d48a55e1d4cd5d8cc5c258d0d86f3b0da","datavalue":{"value":{"text":"Partial collapses of the \\(\\Sigma _1\\) complexity hierarchy in models for fragments of bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866557$24FC35B5-F8CA-4106-9393-8F711AC46AD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2bfde561e0ac96b557b763683d1c3e367155370","datavalue":{"value":"1114.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866557$5F6683CA-5972-4EB4-BCEF-D90B95D7126A","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":"Q866557$A6A9B4C6-8CFA-47FC-BC71-49428E1DEA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866557$BEB6B3D3-0A81-4896-A21F-2FD76D87EDDE","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":"Q866557$41013813-A789-4C33-926C-8F53E5D178DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866557$D7E16DDE-D555-4D08-A840-25DF09722324","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb956b6547b7323e48f252ec224daeda4b49a4c1","datavalue":{"value":"It is shown that, for each \\(n\\) there exists a model of \\(T^n_2\\) in which standard iterations of \\(\\#\\) on some element are cofinal (so it is not a model of exp), and in which every strict \\(\\exists \\Pi^b_{n+1}\\) formula is equivalent to a \\(\\exists \\Pi^b_{n}\\) formula. As the authors note, this does not mean that the bounded hierarchy collapses in the model. The existence of such a model is still an open question. The key to the result is the fact that if \\(M\\) is a \\(\\Sigma^b_{n+1}\\)-maximal model in which standard iterations of \\(\\#\\) on some element are cofinal, then in \\(M\\) any strict \\(\\Sigma^b_{n+1}\\) formula is equivalent to an infinite conjunction of partial consistency statements for the \\(\\Pi^b_n\\) diagram of \\(M\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q866557$3B9FA201-9712-4A8A-BAEA-8BAC8DFB000C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866557$B2F96CF2-A976-414B-89C3-E9CC856775B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866557$CB3F4BA3-603C-4954-8D70-7DD1098E34D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54cefc1fd2a6a430d1f28e96948cdf4efa071d67","datavalue":{"value":"5126399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866557$3DCA0BBA-5720-4D43-AB7B-982D22BE945D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q866557$1EAD6F06-D464-4ACA-85F5-E4908602A768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43f06d46cdfe3c12d54b0daaee737dea9bb2b92","datavalue":{"value":"consistency statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q866557$7303B46F-7750-4396-9DB7-FA1174E1751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34e1dd96871bb81f4a6a0b7b48d43c29d0c4293","datavalue":{"value":"maximal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q866557$1B58C56E-EB07-4CA7-81DD-B356AE3B5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17457e9bfe4b2f78e5eef5dbbf773bc9cfa78073","datavalue":{"value":"bounded formula hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q866557$24F64F55-BDF8-4B1F-900B-747AF2829618","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866557$0C4C51C3-477F-4581-9829-1CB27790B115","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":"Q866557$6FD65DE3-606F-4063-AFB7-609802F907BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa726af8aed48e21f6af5210d033966da428b957","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q866557$4AA76F96-5E7B-4F0B-A5D1-8948DE6BBB0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29e69ce5d3a912ed1cfe80162a0e89757ece8fa6","datavalue":{"value":"W1964935999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866557$CA008659-B8F6-47EF-A8CE-5F4633920D16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8490a626e3f35f79fec868411b3f55b85a0b8d66","datavalue":{"value":{"entity-type":"item","numeric-id":3985086,"id":"Q3985086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866557$9D3C7ECE-264D-423A-B8D0-E437C9069BC1","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":"Q866557$2EB48F21-6C86-4D54-9995-7348DE4D606A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cefb367a1a4bd3121d1508ad040874d5fca7482","datavalue":{"value":{"entity-type":"item","numeric-id":598285,"id":"Q598285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866557$560E39BE-6D53-4C05-AB3D-147551F5EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866557$A4F4A574-0E57-45C6-96ED-939D9BA67CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866557$02B0FD56-1196-4DCC-9D13-889C489AACCC","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":"Q866557$9ABA3824-905F-49A0-900C-6CBD1BA78A50","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":"Q866557$2208E9B1-F7CB-40D5-965B-3AEFCD07AF4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21d0960de07ea54a60e5032d9fcfa549b403cc2c","datavalue":{"value":"10.1016/J.APAL.2006.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866557$090D96CF-249E-48B8-8885-52051308AA68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49ad2b8116e6902ded335362a6bf17f00df7eed","datavalue":{"value":{"entity-type":"item","numeric-id":5502825,"id":"Q5502825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b1aa7fba58de7a21038bea3e1533911390ec23","datavalue":{"value":{"amount":"+0.8639738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$E7247231-311F-4C51-BC30-55CF7549ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959a5ee366a5c17f6f5105d47b0cb7b5942f4720","datavalue":{"value":{"entity-type":"item","numeric-id":5024504,"id":"Q5024504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af70702b5b91d3ffc29a371cb47eac397a3f976","datavalue":{"value":{"amount":"+0.86364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$8744EFF7-946E-4EA8-80AA-80E49B021388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d8a39953b083cfb2d06757f5794b976e8c848a","datavalue":{"value":{"amount":"+0.86358976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$FEA88608-B46A-482F-A174-17435E50E3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3dfa237c184ea0624768b835a2bb77d1db5f460","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cba353696529b994419ade3fbb04b421b37c091","datavalue":{"value":{"amount":"+0.85568726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$3B5ACA39-3F10-44EB-ADE4-28BA1CE31965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a14a81f25d188238ee8777a81181eea1598cba","datavalue":{"value":{"entity-type":"item","numeric-id":5746264,"id":"Q5746264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1339b475cd4ba301ac5dbcafd90bffa998a31fbf","datavalue":{"value":{"amount":"+0.8531673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$7463D17A-ABD2-4D5A-B088-F7C00497C9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f7eb7b155e686d1e5e67bd5fcf9d19fc2d855f","datavalue":{"value":{"entity-type":"item","numeric-id":3552388,"id":"Q3552388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bc58c8e1acd55395af89ed0bf2ce4e208ffe38","datavalue":{"value":{"amount":"+0.852509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$68017763-2648-49EF-80CA-FDC880949FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1741719d94fd37deba04d70ae168da735c90247","datavalue":{"value":{"entity-type":"item","numeric-id":1015376,"id":"Q1015376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1309832a20c39e1fa9552a5097f023a6f9d8ed6b","datavalue":{"value":{"amount":"+0.8519327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$7FFE3F3D-FF98-4313-9765-EBBAAB9C7EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e936e8a4f9c652321a1153f42608d7c10ced8b6b","datavalue":{"value":{"entity-type":"item","numeric-id":5308141,"id":"Q5308141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b0895697c13507f6eb5c0f9eb1ce1c1b8c56c0","datavalue":{"value":{"amount":"+0.8470314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$E3FBFF2B-B532-498B-A549-79113FE3C7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cac23da18199b47c28506382e1fff207379f84e","datavalue":{"value":{"entity-type":"item","numeric-id":2944908,"id":"Q2944908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476ac31ce0a4784484d6e6ccb9def6dba10bb9ca","datavalue":{"value":{"amount":"+0.8462632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$014C1311-E713-41CB-9654-075F4F82D2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea1aa9f5710c770aa77faf862db92fd3a5b216d","datavalue":{"value":{"entity-type":"item","numeric-id":3195589,"id":"Q3195589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779f42314531a7b301e053b32fd0f5082d2944aa","datavalue":{"value":{"amount":"+0.8460684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866557$C0315569-5934-4AAA-ACB1-898BC7BAC5EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial collapses of the \\(\\Sigma 1\\) complexity hierarchy in models for fragments of bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_collapses_of_the_%5C(%5CSigma_1%5C)_complexity_hierarchy_in_models_for_fragments_of_bounded_arithmetic"}}}}}