{"entities":{"Q847024":{"pageid":848872,"ns":120,"title":"Item:Q847024","lastrevid":64790592,"modified":"2026-04-11T22:14:37Z","type":"item","id":"Q847024","labels":{"en":{"language":"en","value":"An exact Ramsey principle for block sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5668734"}},"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":"Q847024$EBCA118A-5431-4FD6-9267-D53D5D72E9A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7da44d7dc4fc00c90fca0601393e07863d97ec58","datavalue":{"value":{"text":"An exact Ramsey principle for block sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q847024$545E3F65-28DC-4FB1-BCBC-13A32B2EB168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e61c1fe488d1a30d730bcd6bc12601372d906497","datavalue":{"value":"1198.46006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847024$A653CCAF-533D-40A6-A4EE-D2D70A1A503D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"586ae9d86a7262241602b7ea990fc01695d4729f","datavalue":{"value":"10.1007/BF03191223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847024$487AE6AD-246C-4688-9B73-93E01140743E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ac26fce67b5c78d6c840508475612e5ef73adc","datavalue":{"value":{"entity-type":"item","numeric-id":413210,"id":"Q413210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$7BDEB286-582F-4601-BBA0-D8A1485E8878","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"454c7e32e9f47c901a39b198a4e1e48e753d20b8","datavalue":{"value":{"entity-type":"item","numeric-id":172471,"id":"Q172471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$E7818714-50C7-42BF-842B-07E2058574AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37a253becd3246676c908d0bb46c884f77dcecea","datavalue":{"value":{"time":"+2010-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q847024$2F261524-28A0-473D-9C88-14B8D4826B38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a415f0b23c68834d4d71612bfb08ad66aef19c4","datavalue":{"value":"https://arxiv.org/abs/0807.2205","type":"string"},"datatype":"url"},"type":"statement","id":"Q847024$BD8EEDCA-D8DE-4564-9FF0-657A95C67BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"639e0c58e73fd42204b8d5d83722c62284045e8d","datavalue":{"value":"https://eudml.org/doc/43826","type":"string"},"datatype":"url"},"type":"statement","id":"Q847024$0559840F-6588-46D8-AC70-C3FBA540C896","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a31a4be2521e56bec37d30d4cf9ce4791ec55d70","datavalue":{"value":"W.\\,T.\\thinspace Gowers' famous block Ramsey theorem in Banach spaces [\\textit{W.\\,T.\\thinspace Gowers}, ``An infinite Ramsey theorem and some Banach-space dichotomies'', Ann.\\ of Math.\\ (2) 156, 797--833 (2002; Zbl 1030.46005)] has been reconsidered now by a number of authors, as detailed in this paper. All these proofs involve fattening of sets via approximation. This paper eliminates these approximations in the relevant games.  The general setting is a vector space \\(E\\) over a countable field \\({\\mathcal F}\\) with basis \\((e_n)_{n=1}^\\infty\\). For an infinite-dimensional subspace \\(X\\subseteq E\\), Gowers' game \\(G_X\\) is a 2 player game where \\(I\\) chooses \\(Y_0\\subseteq X\\) (infinite-dimensional subspace), \\(II\\) chooses \\(x_0 \\in Y_0\\), \\(I\\) chooses \\(Y_1 \\subseteq X\\), \\(II\\) chooses \\(x_1 \\in Y_1\\) with \\(x_0 < x_1\\) (as blocks), and the plays continue thusly. The infinite asymptotic game is similarly defined with \\(I\\) choosing integers \\(n_0,n_1,\\dots\\) and \\(II\\) choosing \\(x_i\\)'s with \\(n_0 <x_0 <n_1<x_1 <\\cdots\\) (i.e., \\(II\\) chooses \\(x_i \\in \\text{span}(e_j)_{j\\geq n_i}\\)). \\((x_i)_{i=1}^\\infty\\) is called the outcome of either game. If \\(\\vec x\\) is a finite block sequence, \\(G_X(\\vec x)\\) and \\(F_X(\\vec x)\\) are similarly played, but the outcome is now \\(\\vec x^\\frown (x_0,x_1,\\dots)\\). \\(A\\subseteq E^\\infty\\) is strategically Ramsey if for all \\(V\\subseteq E\\) and all \\(\\vec z\\), there exists \\(W\\subseteq V\\) so that either (a)~\\(II\\) has a strategy in \\(G_W(\\vec z)\\) to choose the outcome to lie in \\(A\\), or (b)~\\(I\\) has a strategy in \\(F_W(z)\\) to force the outcome to lie outside of \\(A\\).   The author proves that analytic sets in \\(E^\\infty\\) (given the product topology of the discrete topology on \\(E\\)) are strategically Ramsey. In Section~5, these results are applied to normed spaces \\(X\\subseteq E\\), and fattening enters the picture. The games are played with \\({\\mathcal F}\\) a countable subfield of \\({\\mathbb R}\\) (or \\({\\mathbb C}\\)) and the norm is assumed to take values in \\({\\mathcal F}\\). If \\(I\\) has a strategy in \\(F_X\\) to win for \\(A\\subseteq E^\\infty\\), for all \\(\\Delta = (\\delta_i)\\), \\(\\delta_i >0\\), it is shown that there are intervals \\(I_0 < I_1 < \\dots\\) in \\({\\mathbb N}\\) so that any block sequence \\((x_i)\\) in \\(\\text{Ball}(X)\\) satisfying \\(\\forall n\\, \\exists m\\) \\(I_0 < x_n < I_m < x_{n+1}\\) must lie in \\(A_\\Delta\\). Another result is that, if \\(A\\) is strategically Ramsey and for some \\(\\Delta\\), \\(\\text{int}_\\Delta (A)\\) is large (i.e., for all \\(X\\subseteq E\\), \\(\\sim (\\sim A)_\\Delta \\cap \\text{Ball}(X)\\neq \\emptyset\\)), then there exists \\(X\\subseteq E\\), so that \\(II\\) has a strategy in \\(G_X\\) to play in \\(A\\). This is shown to yield Gowers' theorem. More results are included, some under set theoretic hypotheses.","type":"string"},"datatype":"string"},"type":"statement","id":"Q847024$3146AD1F-F1B8-4CA6-B7CC-ADE3FC744096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"802b3d89ab5853025581afcb1dec35f3a574e483","datavalue":{"value":"46B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847024$0009F1D9-0CFD-4F66-AD43-91FCEBB5AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847024$35D13484-19CA-4186-9361-B7B6BA8A0478","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6985f0a87f9072e369e03f12c581ec0832f6814e","datavalue":{"value":"5668734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847024$744AA63B-F24D-479C-816C-A43F7D9AC0C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25bd49467a02b8cf2e2e5d9d7683728ce3435f13","datavalue":{"value":"Gowers block Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q847024$B342FC63-CA75-4011-AFA0-323310ECA86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb46809cafd075fd03c5502e9837142e9aaac83b","datavalue":{"value":"Gowers game","type":"string"},"datatype":"string"},"type":"statement","id":"Q847024$5C6C0891-B565-40FE-BF9B-0787D3F31B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cab8c499009511cc3849c3e1516318671fdd0262","datavalue":{"value":"infinite asymptotic game","type":"string"},"datatype":"string"},"type":"statement","id":"Q847024$192DAF77-0927-409D-93CE-D35C88398E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcbb389197607748fc0a82fce0b56bec885b4af0","datavalue":{"value":"strategically Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q847024$DDE47D8A-99E6-4EB1-A581-DF32794B6A42","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":"Q847024$4A15790D-1C12-41B4-8E07-D5C0C3A4AA32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2709fef8b31168fdc18c5b9fb5eeda37d393d940","datavalue":{"value":{"entity-type":"item","numeric-id":1945274,"id":"Q1945274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$1C5F156E-476F-4DE4-B995-C4369A01D0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e0310bad5e15bb5e67aa1ab3d8fbe56b30f08","datavalue":{"value":{"entity-type":"item","numeric-id":1780389,"id":"Q1780389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$FF826191-8023-44C6-9C5C-863218457861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c8ebb3041576e5f8cf69525780fb97ddcf1794","datavalue":{"value":{"entity-type":"item","numeric-id":5938988,"id":"Q5938988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$B8A2B86E-D17D-4EE5-A251-C7F8F4C71D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daaefad76999beace89673e6268809b69485094c","datavalue":{"value":{"entity-type":"item","numeric-id":2781363,"id":"Q2781363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$C8642EEF-8688-4EE3-941E-A9E1E2DDD223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd16ac767320deaf2ea32c8ada8e42b6a0e6951","datavalue":{"value":{"entity-type":"item","numeric-id":2484382,"id":"Q2484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$086B7E16-0B2F-4469-B656-EA9623493A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb197db29baba926fc24ddbde229f9cb95f0887","datavalue":{"value":{"entity-type":"item","numeric-id":1028338,"id":"Q1028338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$32F3653E-AF0F-4530-B043-532B8657927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b80d08c93982a3a1c63e64fddd081665713f3f","datavalue":{"value":{"entity-type":"item","numeric-id":1860978,"id":"Q1860978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$3C60F48A-0303-461C-B52D-501FFA0D8FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb2536878e196f41ee06d075252569d59ffe8ef","datavalue":{"value":{"entity-type":"item","numeric-id":2487132,"id":"Q2487132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$72BEB750-6C88-44C1-A2DD-BE3B557EF15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2955bf33a0f1d4eb1b8087571615aa699db05279","datavalue":{"value":{"entity-type":"item","numeric-id":4780415,"id":"Q4780415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847024$DF4B5B0D-7944-4C21-8F35-632422DDB6F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e533e40fb61c417dae9ecbd41464ffa3b9baafca","datavalue":{"value":{"entity-type":"item","numeric-id":734600,"id":"Q734600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e1d63bdf7bb27062816301788b53479bdd7d32","datavalue":{"value":{"amount":"+0.811514675617218","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":"Q847024$4DB6E81E-C625-443E-A240-76D9F9413B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f71a8b8ca66cf21b642880bc709bf5801d6755","datavalue":{"value":{"entity-type":"item","numeric-id":3188941,"id":"Q3188941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eff60f7d3f2df39fe9fa41006deaf42fb6a3f24","datavalue":{"value":{"amount":"+0.8105263710021973","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":"Q847024$78A3DD74-3F41-4006-BA0A-BEDE4DC0BED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e501881b48f09c8acdbc1ee7147ffc738127b","datavalue":{"value":{"entity-type":"item","numeric-id":2487132,"id":"Q2487132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f062563fd528cb8f1c6527ccffd40709744791f8","datavalue":{"value":{"amount":"+0.805762529373169","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":"Q847024$E10FC103-BF4A-41E5-BBA8-B151280566C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5257cd1672e85bbef21bc1764f3e6638f8af1222","datavalue":{"value":{"entity-type":"item","numeric-id":5942883,"id":"Q5942883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788bb83c754aaa9ecbc2ca431568e8b5fcd69a85","datavalue":{"value":{"amount":"+0.7824351191520691","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":"Q847024$06E20746-B208-42A3-B996-8710571A8736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e09652a42c77fca4d540e4761831310d7ee961","datavalue":{"value":{"entity-type":"item","numeric-id":1860978,"id":"Q1860978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788bb83c754aaa9ecbc2ca431568e8b5fcd69a85","datavalue":{"value":{"amount":"+0.7824351191520691","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":"Q847024$C29FA9D2-E102-4866-8431-084ACB84624E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An exact Ramsey principle for block sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_exact_Ramsey_principle_for_block_sequences"}}}}}