{"entities":{"Q581400":{"pageid":583167,"ns":120,"title":"Item:Q581400","lastrevid":62929923,"modified":"2026-04-11T09:03:04Z","type":"item","id":"Q581400","labels":{"en":{"language":"en","value":"On G\u00f6del incompleteness and finite combinatorics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019057"}},"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":"Q581400$254E84B5-30E6-446C-A69C-F836C7C0EBB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f3260937f98eede040eb15427c87520f2f95615","datavalue":{"value":{"text":"On G\u00f6del incompleteness and finite combinatorics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581400$E7BAA356-E4B5-4702-909C-1EC9128885E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73345c73294b0d4b4bd7c3ae51f2bc5cd5022acf","datavalue":{"value":"0627.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581400$8510E570-7B90-4640-A41B-01C167218AD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28546fef2eca0c0694e043a743fa243e40a1c7b4","datavalue":{"value":"10.1016/0168-0072(87)90074-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581400$710FE196-F70B-4C1D-8657-88593593A188","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0044be7742906c9e603cb03161274118719e705","datavalue":{"value":{"entity-type":"item","numeric-id":251395,"id":"Q251395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$276DAD11-5216-4DE6-A1E8-C7BE19734022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"637eb5bb74c9ad57cc9d39e5cb25b44dca57cbd5","datavalue":{"value":{"entity-type":"item","numeric-id":581399,"id":"Q581399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$AB9DE4D7-1C05-48C7-AB1C-B6175BF8ECE1","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":"Q581400$955A1A09-6526-45EA-B5D3-0175782A7483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q581400$881A1EF5-81FC-4990-9F1B-F7006E350820","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6d1f9225e7f03f04fe2f174d08a72bac72e192b","datavalue":{"value":"This paper deals with a combinatorial principle which is independent of PA; this principle does not involve the notion of ``relatively large set'', and is stated as follows: Let m,n,K\\(\\in N\\), \\(X\\subseteq N\\); say that \\(f:[X]^ n\\to N\\) is regressive iff \\(fs<\\min s\\), whenever \\(s\\in [X]^ n\\), and min s\\(>0\\). Also, say that \\(H\\leq X\\) is min homogeneous for f iff \\(fs=ft\\) whenever \\(s,t\\in [H]^ n\\) and min \\(s\\leq \\min t\\). As usual, let us identify each \\(m\\in N\\) with \\(\\{\\) \\(n\\in N:\\) \\(n<m\\}\\). Then:    (*) For any n,k\\(\\in N\\), there is an m such that for each regressive \\(f:[m]^ n\\to N\\), there is a K-element subset H of m min homogeneous for f (we simply write: \\(m\\to (K)^ nreg\\). Thus (*) is: \\(\\forall n,K \\exists m:\\) \\(m\\to (K)^ nreg).\\)    (*) is provable in ZF, because if follows from Erd\u0151s-Rado's Theorem: ``For each n and for each regressive \\(f:[N]^ n\\to N\\), there is an infinite set \\(H\\subseteq N\\), which is min homogeneous for f.    Facts: i) (*) is proved to be independent of PA. (More precisely, it is shown to be provably equivalent to Paris-Harrington principle PH: \\(\\forall n,K,r \\exists m\\) \\(m\\to_{*}(K)^ n_ r)\\). ii) The function \\(\\nu n=\\mu z:z\\to (2n)^ mreg\\) eventually majorizes all prov. recursive functions. iii) The function \\(\\nu_ 0n=\\mu z:z\\to (n)^ 2reg\\) has the same rate of amount as Ackermann's function. iv) Let \\((PH)_{n+1}\\) and \\((*)_{n+1}\\) denote the sentences resulting from PH and (*) by dropping the quantifier \\(\\forall n\\) (i.e. by fixing the exponent n). Then \\((PH)_{n+1}\\) and \\((*)_{n+1}\\) are equivalent in \\(I\\Sigma_ 1\\). The methods used are model-theoretical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q581400$5A363BE8-DD61-40FC-8EA9-97226DABD926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581400$9013C25B-C974-4824-86BE-97F70C986FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581400$38962F10-6936-496D-A566-2ECDADE7270C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aa04d3b39f19fd1abcbba1eee473b1ca7973cb5","datavalue":{"value":"4019057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581400$831F6005-9129-4711-9932-1E7888A3D36E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41fb471c5632503b8716f23269ac7a1a49e160e","datavalue":{"value":"partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q581400$38134447-E505-4037-A9F4-6907420C8B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982ed8a66bf4ab4f4fc1344b4c68e3b0006977f8","datavalue":{"value":"independence of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q581400$A141E828-FA28-4EF4-853E-5FBFFBD4E0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d71c42eb2188c5aa93449fab26f50fbd44190c3","datavalue":{"value":"combinatorial principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q581400$7A5416E0-5189-4C24-AB55-B296E63CC3B3","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":"Q581400$18F8E0C3-2648-478A-9452-9FA84F8590F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"428ad57906cfa08a9de991e5ea7af9601eca9d2c","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90074-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q581400$711A4BFA-D50A-432D-83E9-D953167C0E0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f8356622abcee1f2b448d6f28309d773b181d6","datavalue":{"value":"W2036673058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581400$2DC7DEA0-3C6A-4733-9CE8-D7CFAC1774FD","rank":"normal"}],"P223":[{"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":"Q581400$3686BC5E-CF73-4647-A2CA-947C60580925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406b9a3b48c3b8e47ea73dcc8c8436c0db0d7d07","datavalue":{"value":{"entity-type":"item","numeric-id":3237252,"id":"Q3237252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$0E8B553D-91E9-47A9-93A8-727248F4A30E","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":"Q581400$E1632F48-89B1-4987-B086-4957BACC31E1","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":"Q581400$D9D6FB30-6E81-4B04-8400-5F5C6BB32160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$D9D56A40-98C7-4F5E-88D6-030C23FF7FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3d68cffb2f752bbddb797a175fa28da738572b","datavalue":{"value":{"entity-type":"item","numeric-id":3912791,"id":"Q3912791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$F5878A95-70A7-4999-AE29-218C466E67AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aad542f7ef1e8b790fdfcd60866926f82bd175f","datavalue":{"value":{"entity-type":"item","numeric-id":3912792,"id":"Q3912792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$0ACA6471-90F6-4EB1-AD86-47C17CA4AE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d443dff038da2fab7824884185234cb39c0bfe31","datavalue":{"value":{"entity-type":"item","numeric-id":3669417,"id":"Q3669417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$E5458195-03B8-4C82-96FE-0354AC6BBB5B","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":"Q581400$3430F501-4EB5-4C90-B00E-AFCDC63A74E0","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":"Q581400$968CCE90-8848-4E9A-B38C-FF0B849C4806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d756a2dbfc42ad957c96a9182383cf86faa5a35","datavalue":{"value":{"entity-type":"item","numeric-id":3893931,"id":"Q3893931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$A4F1DE59-9B82-452E-A87E-0E804D019376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c741ea1401c1d8be54a122bc2367943d1d73311","datavalue":{"value":{"entity-type":"item","numeric-id":5181363,"id":"Q5181363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581400$24AFBDBC-B5D6-4EB6-9936-BEBFEF33DE6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67b9cb0df1a3554382d8813f66e116b38cfc395","datavalue":{"value":{"entity-type":"item","numeric-id":4829437,"id":"Q4829437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ea2c0418e222d0b266747f671c94deadfbb9e0","datavalue":{"value":{"amount":"+0.9248837","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":"Q581400$A5DDA07B-CBD8-45DB-8D41-1056F0F5A1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7959dee1e0c663c7c9d699bc1eda8403d5db5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5172389,"id":"Q5172389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0cca3368fd144e9058b529bad5b17b1987a8a8","datavalue":{"value":{"amount":"+0.9201631","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":"Q581400$81E66B88-533E-4761-9D7F-E5DB065A97D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98580a0939cd8459298cbb82d3e1ded3addc021","datavalue":{"value":{"entity-type":"item","numeric-id":4693596,"id":"Q4693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c756e860c99316f1b2e21f247600bd9316968e11","datavalue":{"value":{"amount":"+0.92016304","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":"Q581400$74A2C688-CE0F-4FB7-86E0-D0614772FC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83594710425b00ec1e2de6958e4c56b1db909f8","datavalue":{"value":{"entity-type":"item","numeric-id":3695280,"id":"Q3695280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1980a2cd7628465c1807e2983e020ab5e817bf","datavalue":{"value":{"amount":"+0.9108573","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":"Q581400$4E87A1AF-38F3-462E-8305-00AEE220F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca0c4356a0fe549ba005efc4f8021a9250620f6","datavalue":{"value":{"entity-type":"item","numeric-id":3621607,"id":"Q3621607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa48899fe56676e32e9688eb74334dc0f681027a","datavalue":{"value":{"amount":"+0.9036176","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":"Q581400$7648BD3F-5FCD-4DE2-AF50-B15945ABE848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1d1d52a000c65883a824d240fa76b6f86630a4","datavalue":{"value":{"entity-type":"item","numeric-id":4323053,"id":"Q4323053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2d49e4a5740b12607725804b48c871210f993a","datavalue":{"value":{"amount":"+0.9003783","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":"Q581400$DC0E24EC-4B07-4428-86C5-52071FB68377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3616826989e56badc9e033a058eb92e549a7434e","datavalue":{"value":{"entity-type":"item","numeric-id":1904898,"id":"Q1904898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885f31507af88013644f2430dc5b97ca9159ee72","datavalue":{"value":{"amount":"+0.89394414","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":"Q581400$ADB58B8E-29E3-4D23-BF86-66CF12148D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecba8cb6b6faf878a86084f4ba4f3568580fe67a","datavalue":{"value":{"entity-type":"item","numeric-id":5090862,"id":"Q5090862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd452e8eda41cd461806b4d19072abaef435038","datavalue":{"value":{"amount":"+0.8929503","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":"Q581400$B781CA98-36A8-45B9-A0C3-8D97851E60B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1d77b2e30dc991753e7c53ee78164c9dba9c28","datavalue":{"value":{"entity-type":"item","numeric-id":1117219,"id":"Q1117219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51822a2b0fedfd121110c966b8fa763819cf6440","datavalue":{"value":{"amount":"+0.89190733","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":"Q581400$3FA82D5F-43DF-42AF-B9D9-5D22C9AFDFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afdbcff6c5f2a48b76cd900edb97b9bc32abdc38","datavalue":{"value":{"entity-type":"item","numeric-id":4590669,"id":"Q4590669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8eeb96925013985583d732b5729f26fd4f841b3","datavalue":{"value":{"amount":"+0.89085555","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":"Q581400$8E1FB5C6-6FFE-4853-94E4-E27A7A4DFAF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On G\u00f6del incompleteness and finite combinatorics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_G%C3%B6del_incompleteness_and_finite_combinatorics"}}}}}