{"entities":{"Q1377601":{"pageid":1388341,"ns":120,"title":"Item:Q1377601","lastrevid":46997604,"modified":"2025-12-26T00:41:18Z","type":"item","id":"Q1377601","labels":{"en":{"language":"en","value":"\\(\\text{Count}(q)\\) does not imply \\(\\text{Count}(p)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109887"}},"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":"Q1377601$F8792631-9FD7-45DD-8CD5-CE25D9190947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6246ab5931646c4f47a8e465647420f7494f126a","datavalue":{"value":{"text":"\\(\\text{Count}(q)\\) does not imply \\(\\text{Count}(p)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377601$B0971FB5-5CDB-4D69-9B8A-E43A55CFF58D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5fd694fd6f846fbeb5047b0d3911ea9f26873f","datavalue":{"value":"0891.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377601$6646102C-FC2C-4A07-A60D-80B081FFA69B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65bae341860644600991b278206485a97c138cfa","datavalue":{"value":"10.1016/S0168-0072(97)00029-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377601$13D59EBA-ED1E-42C7-AFFE-D203A46EB2F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b988aafc908ad0705db140a886cbabb24b606a94","datavalue":{"value":{"entity-type":"item","numeric-id":195146,"id":"Q195146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$428EB261-CCA4-48F5-BC35-C6BC62B8841C","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":"Q1377601$7698D142-CF75-40FC-B058-11D0BFCAFFE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f63f05c7298731805d9d06e3b2f6f086002af74","datavalue":{"value":{"time":"+1998-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":"Q1377601$B9244B61-7DC4-4347-947A-637BB960376D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89a02d96528325b32bc3d3356492f7341bcb0a1b","datavalue":{"value":"For a natural number \\(p\\), Count\\((p)\\) is the principle: if the set \\(\\{1,\\dots ,n\\}\\) is partitioned by a \\(\\Delta_0\\)-formula into disjoint sets, each of cardinality \\(p\\), then \\(p\\) divides \\(n\\). Ajtai proved that Count\\((2)\\) is not a theorem of \\(I\\Delta_0(f)\\) -- bounded induction in the language of arithmetic with one additional function symbol [\\textit{M. Ajtai}, Ann. Pure Appl. Logic 24, 1-48 (1983; Zbl 0519.03021)]. Ajtai also asked, for which \\(p\\) and \\(q\\) Count\\((p)\\) implies Count\\((q)\\) over the same theory. Riis answers the question completely by proving the following theorem: Let \\(\\mathcal T\\) be any system of Bounded Arithmetic over some countable language \\(L\\) which contains at least one undefined relational symbol. Suppose that all terms in \\(\\mathcal T\\) have polynomial growth rate. Then, for all \\(p,q\\in\\mathbb{N}\\) the following are equivalent: (a) There is a model \\(M\\) of \\(\\mathcal T\\) in which Count\\((q)\\) holds and Count\\((p)\\) fails; (b) There exists a prime factor of \\(p\\) which does nor appear in \\(q\\). Corollaries include a variant of the theorem formulated for \\(\\text{ACA}^{\\text{top}}\\) -- a system of second order arithmetic with a top element, and a result concerning the size of proofs of ``Count\\((q)\\) implies Count\\((p)\\)'' in Frege proof systems. The main idea of the paper is the reduction of Count\\((p)\\) to properties of forests of some special labelled trees. Then, to solve the problem, purely combinatorial techniques are applied to prove the existence of some ``exceptional'' forests. The result is a highly nontrivial solution of a difficult problem. It uses an array of tools combining forcing in arithmetic and boolean circuit theory. It is a very interesting paper, the reader should be warned however, this is not an easy reading. Some more careful proofreading and editing could have helped.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377601$5033BBB2-613F-4AD7-8B0F-E6D70931F563","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377601$56D068EB-63D4-423C-B8EF-91B93DBCBA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377601$E925F110-ABB2-43C9-8FF2-4061058E60A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377601$36D570A4-5183-49BC-A74A-93AA15AEC356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea21bf28702b5c757504505d3f7687bc5d6600df","datavalue":{"value":"1109887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377601$CFA0E151-7E48-4429-BE14-F125DE3AC11D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377601$D55AF816-FC4C-46F6-A901-AC53788F4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377601$F87C27A1-461F-4A53-B225-A9C6F0D0007F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9709506260037c84a0e2e0138ecb7971fbdfdd0a","datavalue":{"value":"forcing in arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377601$CF1DCCB6-DCAF-4939-B996-4D0C1E5C0605","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":"Q1377601$B64A1577-1EBB-45D5-B473-AA0FF8A64FF6","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":"Q1377601$DB823EFA-988C-4ED1-83EA-1F4EE09D1056","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$880AD605-54A0-4CAA-98A8-C989EFCF024A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a580c588e979f3485b9f8d3fefd6f0a924509","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$726EA8B2-4991-4833-BBE5-4DF501384745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a850681e902d6310abc2e330ce6502ada4a84b8","datavalue":{"value":{"entity-type":"item","numeric-id":4035300,"id":"Q4035300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$A3E7DFB3-6CB6-4CF1-AC48-BA50CDD24C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fac4e2565ff70436792035f55d4254cbea8194","datavalue":{"value":{"entity-type":"item","numeric-id":2817631,"id":"Q2817631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$1BD3845B-1A57-4141-9864-54DED437E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc549c7351e22448fd3695ab678060832fa672d5","datavalue":{"value":{"entity-type":"item","numeric-id":1346617,"id":"Q1346617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$CCC547FD-F5A1-44C5-86AF-CE558570D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$8ACAB415-8270-4F1A-9635-9AE899296798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305afa85a8cc04e13d160761258e43b79fcfb022","datavalue":{"value":{"entity-type":"item","numeric-id":1182430,"id":"Q1182430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$2AAEBF7F-7734-41AE-A7CB-B7705A90A617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$AA259DC2-AA97-4CBC-BF4C-A42D40DEF680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bc06dbf3731697a67c4cf4f2c88c3e70cd5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3136460,"id":"Q3136460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$341A3507-B491-42DD-9D6B-3240DF2F6FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$82509F68-F3DD-4063-A437-8380AB924220","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":"Q1377601$8B743595-8A72-46E6-83C0-0981B8909D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$65B00B93-48BB-47BD-8908-9E450E829AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$504AB295-1F33-4A41-A7F9-3D1E0627C944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$79E923FC-F15F-4DD1-87C9-3A5C70226A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebeeea9cf08f720beb50a6d9ca520d2a54f66086","datavalue":{"value":{"entity-type":"item","numeric-id":3140642,"id":"Q3140642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$C1DB1C60-6687-442F-B660-9268F4FC32A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b4586e237f40b5f38074d749f7473e8c1be4be","datavalue":{"value":{"entity-type":"item","numeric-id":1360313,"id":"Q1360313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377601$36CBF6B1-FA70-43AA-849A-BB593315291C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081ab5eb018cf7815204f837cc7fe8e563b7bcf1","datavalue":{"value":{"entity-type":"item","numeric-id":1360313,"id":"Q1360313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3099abea41bf50e9f1739d1cf9225c1a3b6d3b","datavalue":{"value":{"amount":"+0.8025344014167786","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":"Q1377601$0182FA19-654C-4DA3-A744-FF8D280C7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1b1dad41836450b3afe32c2f62ff4d3744c9e4","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8177a782889e93bacbf6d090372e6da2d8e08069","datavalue":{"value":{"amount":"+0.7966935038566589","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":"Q1377601$E5739BA9-3443-4B84-BFE6-F958B3DC3C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6567eb4918f0d4bc83b92602fb576749b3246b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2817631,"id":"Q2817631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59298337411f4878d112a6e43f6b7e235488d396","datavalue":{"value":{"amount":"+0.7726051211357117","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":"Q1377601$589D07C0-3391-46A4-B688-866308C8AE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b731d3dd6796d56b39c8488407981917851779ca","datavalue":{"value":{"entity-type":"item","numeric-id":4375784,"id":"Q4375784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4582a5dc20ec7de0ba8be783361e180a0b4050","datavalue":{"value":{"amount":"+0.7558574080467224","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":"Q1377601$DBF13563-EC90-474B-AA30-CFA67B710122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1377601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1377601"}}}}}