{"entities":{"Q2452679":{"pageid":2463422,"ns":120,"title":"Item:Q2452679","lastrevid":78693641,"modified":"2026-05-06T12:12:57Z","type":"item","id":"Q2452679","labels":{"en":{"language":"en","value":"Combinatorial unprovability proofs and their model-theoretic counterparts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300873"}},"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":"Q2452679$E0CF3830-E45F-4E19-A646-AFEF1B4FB3CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3955fb25d05dd5949078370c6317c4af5c83d6b0","datavalue":{"value":{"text":"Combinatorial unprovability proofs and their model-theoretic counterparts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452679$4E518430-248C-483B-BFFF-C16BCAB3F3E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3359b4369253d9959cf7b7f4f83924e443c7109a","datavalue":{"value":"1301.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452679$68D34E23-AD61-42F9-A0AA-32ECDA9EC83A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c103ee2a8fd34405291f625a6413d10c71fd1a37","datavalue":{"value":"10.1215/00294527-2420654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452679$F9B805B2-4A12-46AA-8226-3DF7B03D9A03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97260bea1cba66249f833040ae752d88bb9782d","datavalue":{"value":{"entity-type":"item","numeric-id":227771,"id":"Q227771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$5E8E4E43-240F-4A5B-92AB-2F299E3DEAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9c246794092240a1098f50efba0d0ad62d8016e","datavalue":{"value":{"entity-type":"item","numeric-id":780503,"id":"Q780503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$12CF6218-EEFF-43E5-9A51-9154168DE98C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$58F1DA11-F63B-4CED-9A19-06346A50D8A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fddd97b3c6b0df70ec750ef42d1239f50e1e71b","datavalue":{"value":{"time":"+2014-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452679$12460FF3-1A05-4901-8D04-27EE4E5B3B13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2611e04cff66872634e3df2e492d0f8318edbf0","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1398345782","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452679$489542BD-81DF-43D0-B374-A4A791B75D30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b2bb96caf7e2bcd8b7863a2300396f1d1bbdbc9","datavalue":{"value":"The paper begins with a comprehensive survey of unprovability in PA of Ramsey-type combinatorial principles, and then proceeds with a model-theoretic analysis of the canonical Ramsey theorem with a largeness condition ERL, and of a version the Kanamori-McAloon principle KM. The ERL principle states that for all \\(n\\) and \\(k\\) there is an \\(m\\) such that for every function \\(f\\) defined on \\([m]^n\\) there is an \\(H\\subseteq m\\), with \\(|H|>\\max\\{\\min(H),k\\}\\), on which \\(f\\) is canonical, i.e.~ there is a \\(v\\subseteq n\\) such that for all \\(x_1<\\cdots < x_n\\) in \\(H\\), \\(f(x_1,\\dots, x_n)\\) depends only on \\(x_i\\) for \\(i\\in v\\). The KM\\(_j\\) principle is: For all \\(n\\) and \\(k\\) there is an \\(m\\) such that whenever \\(f:[m]^n\\rightarrow{\\mathbb N}\\) is \\(j\\)-regressive, i.e.~ for all \\(x_1<\\cdots <x_n\\leq m\\), \\(f(x_1,\\dots, x_n)\\in [x_{j-1}, x_j]\\), then there is an \\(H\\subseteq m\\) such that \\(|H|\\geq k\\) and the values of \\(f\\) on \\([H]^n\\) depend only on \\(x_1,\\dots, x_j\\).  Carlucci and Weiermann gave a combinatorial proof that ERL implies the Paris-Harrington principle PH. The present authors give a model-theoretic proof of unprovability of ERL in PA, and in the process construct a new indicator for cuts satisfying PA. A similar analysis is applied to the KM\\(_j\\) principle. The main results about it are summarized in the following corollary, in which the principles PH\\(^n\\) and KM\\(^n_j\\) are the relativized versions of PH and KM\\(_j\\) for the fixed exponent \\(n\\). The following statements are equivalent in \\(\\mathrm{I}\\Sigma_1\\): PH\\(^{n+1}\\); KM\\(^{n+1}\\); KM\\(^{n+j}_j\\); 1-Con\\((\\mathrm I\\Sigma_n)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452679$F5742ECC-7824-465A-AF51-7385639F7D81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452679$0A1E6607-4A4B-4415-955A-F93C6EB0C767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452679$EB8B0F22-CA48-4FD0-B163-7A022D23216F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452679$80069DE6-C57B-4B29-B120-CA1487D30A65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94a563aa59528796ef8ac9c226e994c04b166ac6","datavalue":{"value":"6300873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452679$7AD6D035-ED29-4BDF-9CBC-3996BA10DEF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32379f691fed32d453e321b97da629f95e7b7155","datavalue":{"value":"unprovable statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452679$6782D03B-448D-4542-9EB9-0878771C1350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6429f37ea5f4e4b88cd4c47a9b7fc9c417aacd","datavalue":{"value":"Kanamori-McAloon principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452679$6AD6D892-E306-4F26-A3BE-DC68B4FE6B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73c72dd5cb22b523cd8ce0d39fe23423c44aab0","datavalue":{"value":"Paris-Harrington principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452679$2A23170D-0B15-4115-82CD-021F32CAC3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74ef930cf1b33deb4c79b23ba2c81d5202e9517","datavalue":{"value":"canonical Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452679$EEA39E57-201E-4D2D-A97B-BA5CB81FD1D0","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":"Q2452679$13C8B9D8-68E1-4AEC-8370-9D8C697CA8B7","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":"Q2452679$0A5EF456-0BCC-4682-A49F-B2A791358434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"509076f6cf67bf4d976ef55ded61ac760971bfb3","datavalue":{"value":"W2051971362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452679$DA6112B9-94C6-4B27-BF36-CE99C3CE82F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36233a6e6061f83ca82fd35f1182431845232515","datavalue":{"value":{"entity-type":"item","numeric-id":5711939,"id":"Q5711939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$B0B4A29E-92C1-44C4-8C6F-4F46935690E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34acf63a07818b9dcf84693ba53330b75207c3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358627,"id":"Q2358627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$97972F65-6A8C-402D-A6DC-476F0A3B61E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4239873af1d1facbdaef2beef226e2c4cdae0f","datavalue":{"value":{"entity-type":"item","numeric-id":618311,"id":"Q618311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$CCFEF59D-38E4-4AD9-8799-A2FB5F406520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d81578a7757260e56b3768250d14abdb68eed8","datavalue":{"value":{"entity-type":"item","numeric-id":5797044,"id":"Q5797044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$B5C99D8C-BA53-43A1-8070-CF8C8919FFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087997f39728f68ba5717661dfa38b5ead409bb","datavalue":{"value":{"entity-type":"item","numeric-id":581400,"id":"Q581400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$4D904C68-E96D-485A-99FC-A67F728CAF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$5C973331-B637-46A5-A140-43DA740B3F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d615a3f8788a2afa41d61f9d82bfdfb812e36172","datavalue":{"value":{"entity-type":"item","numeric-id":5696111,"id":"Q5696111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$C224448B-93B8-483A-A5EC-BAF4040067CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4d37ff5464f44bd75600b74f14d23b6ac5e34f","datavalue":{"value":{"entity-type":"item","numeric-id":1325270,"id":"Q1325270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$06528BDE-0B90-44DE-9FB3-A2FC40688951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43e39da6413b4900316472ef3eb3724afe78dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5437596,"id":"Q5437596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$38F9D6A3-220C-4200-9EBD-A7D32DFCEBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd528569780ba2e830c24921868368247ea35967","datavalue":{"value":{"entity-type":"item","numeric-id":3926596,"id":"Q3926596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$4CBFC4BF-2A2C-4C54-929F-9FC3A64FA02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397fa3138e19e2c144f218b0780686208522c5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4457723,"id":"Q4457723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$B0BC4BA5-5573-400E-9CF2-08865098A16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21dc6ce513ca0314b1f49510aca046082c48f16","datavalue":{"value":{"entity-type":"item","numeric-id":4433096,"id":"Q4433096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$6217563E-DF2F-4B33-8222-67DB93B35588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52bae6a6e1a18dbdbcc66dc9d5087301033447","datavalue":{"value":{"entity-type":"item","numeric-id":2566073,"id":"Q2566073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$910C07C9-AEC0-44A0-8ABF-7F0B26A0EB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bb6d91006f2d614f9eafb872255a5d484706be","datavalue":{"value":{"entity-type":"item","numeric-id":2845566,"id":"Q2845566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452679$0FA8EB3C-A891-4E4F-8B77-28FEA7F36E29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b32da0d39a4e0fdcd7cce6a1a3e98872d09c4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5711939,"id":"Q5711939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f98af4fc70d9c40e2508305d86813e96f16de90","datavalue":{"value":{"amount":"+0.8421626687049866","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":"Q2452679$44DF21CA-8478-4969-8D28-FEDC8B1929EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7022116e063c7b1317412e4b3d31201564ffc14","datavalue":{"value":{"entity-type":"item","numeric-id":581400,"id":"Q581400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021a700b11773cbd63a586e3f4650fca5cd4062e","datavalue":{"value":{"amount":"+0.7876215577125549","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":"Q2452679$1ACBB28C-C5CA-4741-B670-DCEB209F75F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fef0194659ec0a8fb9dce1a61b90bff6bf8e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4031465,"id":"Q4031465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdfdbb98c905e925dff8723da96554dbade8e54","datavalue":{"value":{"amount":"+0.7655764222145081","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":"Q2452679$209B24C8-F748-408C-821F-9E689D590FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50595fbf90e062a3a7820cf18e32db841f93cf64","datavalue":{"value":{"entity-type":"item","numeric-id":3343982,"id":"Q3343982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05d06090d0f2be43b3d4437ec58e9b2b861810b","datavalue":{"value":{"amount":"+0.7625998258590698","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":"Q2452679$C6E3CDCA-3F77-4C32-867C-D3084FEA829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecb38442a74ec85fd4689b92c2dd051cdb6bbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3335777,"id":"Q3335777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7e86a088eba15a1a3beb26d4c30938c406f388","datavalue":{"value":{"amount":"+0.7553774118423462","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":"Q2452679$B5CD496D-A8BC-4AE2-AA81-35F2CEA28904","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial unprovability proofs and their model-theoretic counterparts","badges":[]}}}}}