{"entities":{"Q6119673":{"pageid":13253980,"ns":120,"title":"Item:Q6119673","lastrevid":98899511,"modified":"2026-06-05T18:45:25Z","type":"item","id":"Q6119673","labels":{"en":{"language":"en","value":"The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7823031"}},"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":"Q6119673$F275F2D3-FBFB-4777-A10C-DB0D38F32703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faef73b33e2d5653dad575e58d967448d55cd4ba","datavalue":{"value":{"text":"The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6119673$A84E059E-806A-45A3-AF7F-5E9237C3C169","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$CD93E6BC-A782-42B7-8064-21B5126D4ED7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e604ba0becf1eaf60071ff392a9dd3119b76744f","datavalue":{"value":{"entity-type":"item","numeric-id":6118117,"id":"Q6118117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$E6DDC182-CCA4-4772-9CF7-064348C9F8A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"946f9eb7a7737d88be41a6a799278842b1b41e8e","datavalue":{"value":{"time":"+2024-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6119673$93E6E205-A36B-407D-9EF3-8E689470F196","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d62b28ef385e9dd7b1e0190953804d90c4d32565","datavalue":{"value":"Summary: The \\textit{Paris-Harrington principle} (PH) is known as one of the earliest examples of ``mathematical'' statements independent from the standard axiomatization of natural numbers called \\textit{Peano Arithmetic} (PA). In this article, we discuss various variations of PH and examine the relations between finite and infinite Ramsey's theorem and systems of arithmetic.  For the entire collection see [Zbl 07816357].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6119673$92080F31-0B1D-45B2-BE4E-6733350FBB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6119673$6DFE6862-9153-4B8C-B661-21AD49352629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6119673$4FCF92D0-A024-449E-AC13-AA840B982341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6119673$BCABF4FF-E822-4D00-B14C-FD0EEE213AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6119673$50F7C090-0FD3-4FEC-B9FE-7A9BB27891DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5963390d6422ddc5a5d5c967655cb8bf3abcde72","datavalue":{"value":"7823031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6119673$44C5CA07-A3A6-46FD-874B-EC57123CF5A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73c72dd5cb22b523cd8ce0d39fe23423c44aab0","datavalue":{"value":"Paris-Harrington principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6119673$89D671AC-E952-4882-87E2-5063931E28FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6119673$1713A9C5-163A-4253-9AF7-6822A5622499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6119673$80835525-1E24-4FAF-803E-933CA624AE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6119673$AC1DB32A-E867-4817-AB7E-36800F5AE396","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":"Q6119673$E69957CB-5C19-420A-9361-EF5A635C0D48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1551780a6dc6dca710ec14232ecc02587e389a0","datavalue":{"value":"https://doi.org/10.4171/icm2022/106","type":"string"},"datatype":"url"},"type":"statement","id":"Q6119673$7BC92744-FFB4-4810-9AFA-94EC1EEF2334","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fbc0af24e65aa3de441851d1aafc5f45760b20c","datavalue":{"value":"W4389820301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6119673$0EC88A88-B907-46BE-83A0-837E3078B329","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ce93fd828767a128258ba6a4a09fb1ee0d55d5","datavalue":{"value":{"entity-type":"item","numeric-id":4642696,"id":"Q4642696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$9E943779-BEB5-42AC-92F9-289D4328C08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0ba64e6064208d971f9ee37c11d6a9a48a2a52","datavalue":{"value":{"entity-type":"item","numeric-id":4700239,"id":"Q4700239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$EE294E0D-511F-4C7E-9ACA-9FE026FCAB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20643d60fe0cf05c3581627a680d1f8203f5a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4790189,"id":"Q4790189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$AA1532F9-DAFC-474E-A383-16492313E317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99526a1e64bd6b3538142945c9986220603dc9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3420352,"id":"Q3420352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$982DD1D2-73BD-43AA-8EC5-71AFB2B21DD3","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":"Q6119673$658A255B-CF56-40B2-A325-DABF9DDEDBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$14242CA2-998B-4E53-A469-FF6DD27C6B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c36d3f2be7827491b5673d0e04c23217f1388","datavalue":{"value":{"entity-type":"item","numeric-id":3190948,"id":"Q3190948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$1FC8FFBE-1551-4345-8365-BA0F068ADD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3422a75bab35171159b9c7a1569787ac90b8997","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$0FB9B7EA-6C5E-4721-82E3-79F2B36663F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12dfa4f63d9f4f10bf084be4b4cf1cbaffcaf23","datavalue":{"value":{"entity-type":"item","numeric-id":2958212,"id":"Q2958212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$DF31BDFA-133D-4917-BDBC-A2A7C50868BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$C5983CC0-70F6-42AD-9B7A-BC32CCF63FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a889837a96841dcbe493eecf25c6da27b5ca29","datavalue":{"value":{"entity-type":"item","numeric-id":5190206,"id":"Q5190206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$6567BEC0-4374-4AC4-AADD-50E84D99B5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bcaacfea2aa87458e1d3c1aa5260e6875d0121","datavalue":{"value":{"entity-type":"item","numeric-id":5834329,"id":"Q5834329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$F8D4F1BC-9882-4443-83E9-470C743DCBC5","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":"Q6119673$259F2205-1AB5-4B8B-A41D-1B475439DEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a39409e450161ef82421b3aefd08398a69b377","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$3954D558-5324-4404-B9A6-8C4AE0B86BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$E9E65F39-687B-4C4F-BC19-0535D17593CB","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":"Q6119673$5F7D5630-BFA4-41D3-B2C7-F2AEBA7505B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$10E29B17-DE20-4652-B47C-D4F19976AD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$18620384-7751-450B-8A41-A6E50BCB1AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811ab59d5a45208b45aae8f84e1c6df333b1a087","datavalue":{"value":{"entity-type":"item","numeric-id":2193942,"id":"Q2193942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$95FF3555-D752-43DC-BBA8-A4FD31AB1CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$4D32614A-0E69-4004-BE17-B2DB7DED8C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fcac84fbd8ae26953a8b8d11d860b072d3ea51","datavalue":{"value":{"entity-type":"item","numeric-id":2373693,"id":"Q2373693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$DBEE37F9-A2DC-4EA4-A29F-A34D6BE94876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9f33c4b31058c99898dd9dbc21aeb3e3096923","datavalue":{"value":{"entity-type":"item","numeric-id":2892679,"id":"Q2892679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$4D3B9763-BBD6-4172-B86E-08BAC425591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d5db4dd99833d3831c23c4ef3d66f48a1fd3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3717036,"id":"Q3717036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$14F48FA0-46AE-4DE5-9781-82F3765AD2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$EF190F7C-7379-4F85-8BDB-CAD13557F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98ec6ee902b0e405217f4c97bc503839cc2ad55","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$FCC41A74-09F9-4B8A-BC91-DED03EB1BD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0120660c5ac82a3ebef83882507d86142351f846","datavalue":{"value":{"entity-type":"item","numeric-id":286698,"id":"Q286698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$BDE9F03D-1CDE-4D30-AE9F-45FBD8E246D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$22548857-EE80-4984-A522-D6F2CC4956A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8881925218ed95300152509564f24ef547ef5223","datavalue":{"value":{"entity-type":"item","numeric-id":3791148,"id":"Q3791148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$DD36156C-BBD9-40CE-95C4-8B0E1DAE070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$C5766EF8-6B9A-4A35-9AC6-F13587188A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fa24deb0b391928c507d9963de49a730b2c9ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647115,"id":"Q4647115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$8A04E051-35F7-4828-8D36-341B2981060B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef1a2f853d54e55c9c98e176228c1775ad9cde","datavalue":{"value":{"entity-type":"item","numeric-id":676310,"id":"Q676310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$E3FD9C36-7E89-405F-9D37-D2CC1C7576F3","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":"Q6119673$EE9D5532-C305-4937-A2A5-1812E0F15CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b0f0f4607d01eb661a16bf69ffef36b0952c24","datavalue":{"value":{"entity-type":"item","numeric-id":4915224,"id":"Q4915224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$2DE0FA93-3CC2-47F3-ABB2-1F15D78D951B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981339da1a8bd045fe554f15ec8fdbfa0a3122ae","datavalue":{"value":"10.4171/ICM2022/106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6119673$51A6732D-07D3-4314-B1FC-05CF298CB057","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6119673$A7E42EFA-20E3-44E4-ABD9-8556DAE0C00B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem","badges":[]}}}}}