{"entities":{"Q701747":{"pageid":703596,"ns":120,"title":"Item:Q701747","lastrevid":63639657,"modified":"2026-04-11T14:32:51Z","type":"item","id":"Q701747","labels":{"en":{"language":"en","value":"Effectiveness for infinite variable words and the dual Ramsey theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123165"}},"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":"Q701747$8496541E-48A8-434F-B28A-B3AC6B292F33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bb034c804fc3dd3ae4f770a3a20dd586c181247","datavalue":{"value":{"text":"Effectiveness for infinite variable words and the dual Ramsey theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701747$30FC43E0-4CF2-45B3-B6CB-052F0BFBAE9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a55eb05fc3c61dc6a74f1199da6707439889072d","datavalue":{"value":"1059.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701747$AF7555E5-6FC2-4C98-8DEA-A8EB1037CD28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"302de52cd79b694f710a98c295d3804f924d6528","datavalue":{"value":{"entity-type":"item","numeric-id":375817,"id":"Q375817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701747$6FE69C52-14FE-470F-9765-DF7FF585B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701747$D3CB85FB-85D5-44A8-91BF-842BB2363724","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701747$8348724A-1507-405C-B0C8-B885FC2E3E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701747$3401632B-6227-4F26-BF64-5CFCD0C5AE93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"381d39791572909b8084d700d78dd84eed0cc77d","datavalue":{"value":"The authors apply techniques of reverse mathematics to the dual Ramsey theorem, providing partial answers to questions posed by \\textit{H. Friedman} and \\textit{S. G. Simpson} [Contemp. Math. 257, 127--144 (2000; Zbl 0967.03050)]. In particular, they show that the open dual Ramsey theorem implies ACA\\(_0\\). They also analyze combinatorial statements about variable words and ordered variable words which are related to central lemmas in \\textit{T. J. Carlson} and \\textit{S. G. Simpson}'s proof of the dual Ramsey theorem [Adv. Math. 53, 265--290 (1984; Zbl 0564.05005)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q701747$D58D74E8-BDFB-4DC0-8837-6023B352716F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701747$C6EEE33C-1101-4140-A2DD-85F0B0EA63EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701747$BE6BBA93-184B-4A7E-B2FE-1FD5B74FCCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701747$ED502653-7107-4BEC-A25E-A2F3E2369DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31c7e4b0b25ed8e6052938630ccf03a937d1e720","datavalue":{"value":"2123165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701747$A7AB82CC-B304-406D-8C7F-BE10D03392DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93156507ff2b5586dd56d86e84f8acdadf65d7c7","datavalue":{"value":"dual Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q701747$0348A98A-A527-4F51-B7F9-9CC6A8753383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ec649bfc35d7166391a8ed289175de38070b2","datavalue":{"value":"variable words","type":"string"},"datatype":"string"},"type":"statement","id":"Q701747$533E6B06-32B6-44E8-B9C4-71C755468923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q701747$F6148BB3-05F7-42AF-9A00-252FC1A41B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701747$B951FC4C-1741-4593-AD93-4ABD6F83BAD3","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":"Q701747$86B67926-DFD4-4860-B632-7210978869C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee75657af1ceba1035ebd59ce14353747e5750","datavalue":{"value":{"entity-type":"item","numeric-id":4644466,"id":"Q4644466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3e71f1de5d55568d96e4e5f2cc4ca1fbf2bae2","datavalue":{"value":{"amount":"+0.8495423197746277","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":"Q701747$CF2D9628-83E1-403A-BC6D-E22D38D4318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45210f1630b93ab97b5bd69df954a750b4cf5de5","datavalue":{"value":{"entity-type":"item","numeric-id":2075273,"id":"Q2075273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5383a45766a384615cf63aecbd269b8a5c881ab6","datavalue":{"value":{"amount":"+0.8119127154350281","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":"Q701747$FED06617-89FE-4EFF-8C1A-0C380F54A402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f93323efb147ed4ce5137e4c882728378ea631","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa0900fe3d34ae24c44ba10a78b6b13444458f1","datavalue":{"value":{"amount":"+0.8022900819778442","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":"Q701747$B3DFB83D-85F9-4A13-A0F0-24EE269C053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0746ab003dd15d8fa557f36c9e19fbcfc9064d59","datavalue":{"value":{"entity-type":"item","numeric-id":5004961,"id":"Q5004961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ae19b4fb8812acc4c6019e580c5ee443a2926c","datavalue":{"value":{"amount":"+0.7705087661743164","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":"Q701747$5D4EEF7D-79C7-4075-821E-D929B1CA25E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c6426c1ec0a2783c90e1ff891dd3c05bdb89d2","datavalue":{"value":{"entity-type":"item","numeric-id":1057862,"id":"Q1057862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf94a52ddf121f5d8c418e72a0e6924b5d4dd17","datavalue":{"value":{"amount":"+0.766301155090332","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":"Q701747$C4D8F03F-A9CC-4777-9630-F560CA1FC267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effectiveness for infinite variable words and the dual Ramsey theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effectiveness_for_infinite_variable_words_and_the_dual_Ramsey_theorem"}}}}}