{"entities":{"Q1704530":{"pageid":1715271,"ns":120,"title":"Item:Q1704530","lastrevid":73808553,"modified":"2026-04-14T17:19:41Z","type":"item","id":"Q1704530","labels":{"en":{"language":"en","value":"The \\(\\ell_1\\)-dichotomy theorem with respect to a coideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6848945"}},"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":"Q1704530$7AF72D33-7920-4519-8907-F78008E5D14C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ebabd4236265e32da5801b9ced10f560cd9761a","datavalue":{"value":{"text":"The \\(\\ell_1\\)-dichotomy theorem with respect to a coideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1704530$5EB4F918-F9F1-451C-9945-BE526F7BA04A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"affeac57266d0758e99c9341cd568feaad6588c5","datavalue":{"value":"1395.40001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704530$A2B009E9-45BF-4569-A553-B6CC15B00E60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1315238c1da462dbaaabd6f89a8df7d4a5e5b8ff","datavalue":{"value":{"entity-type":"item","numeric-id":248816,"id":"Q248816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704530$49F709E2-8CF8-4DA0-9E6A-F3E76F13BD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef80eab1edbed46b4ab241e32f7274686ed6c687","datavalue":{"value":{"entity-type":"item","numeric-id":248819,"id":"Q248819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704530$D1C051D3-581A-4A04-A02F-CA2022CE20FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc44a233e5e8bd544c3e30852775af330b8fff3a","datavalue":{"value":{"entity-type":"item","numeric-id":178039,"id":"Q178039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704530$0A329C12-00CE-49E6-9A36-29ECE27A4B10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cc8ff785145483794beca95dd57f9ed4de5b6fd","datavalue":{"value":{"time":"+2018-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1704530$6C97310C-DEE6-4145-984B-9F83C372C384","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b11a9dfd6d835a994e99fcbf33cd08be589afde","datavalue":{"value":"An ideal \\(\\mathcal{I}\\) on \\(\\mathbb{N}\\) is a family of subsets of \\(\\mathbb{N}\\) closed under taking finite unions and subsets of its elements. Assume, moreover, that \\(\\mathcal{I}\\) is proper (\\(\\mathbb{N}\\notin\\mathcal{I}\\)) and contains all finite sets. If \\(\\mathcal{I}\\) is an ideal, then the family \\(\\mathcal{P}\\setminus\\mathcal{I}\\) is called a coideal. A family \\(\\mathcal{B}\\) is a coideal basis on \\(\\mathbb{N}\\) if the family \\(\\mathcal{L}_\\mathcal{B}=\\{ A\\subset \\mathbb{N}: \\text{ there exists }B\\in\\mathcal{B} \\text{ with } B\\subset A\\}\\) is a coideal.  The paper under review consists of an introduction and three sections. In the first section, the authors define and examine three properties of a coideal basis: Ramsey-likeness, selectivity and semiselectivity. For example, a coideal basis \\(\\mathcal{B}\\) is Ramsey if for every \\(n,r\\in\\mathbb{N}\\) and for every \\(A\\in\\mathcal{L}_\\mathcal{B}\\) with \\([A]^n=C_1\\cup\\ldots\\cup C_r\\), there exist \\(B\\in\\mathcal{B}\\), \\(B\\subset A\\) and \\(1\\leq i \\leq r\\) such that \\([B]^n\\subset C_i\\). In the next section, the authors introduce, for a given coideal basis \\(\\mathcal{B}\\), the notions of a \\(\\mathcal{B}\\)-sequence, a \\(\\mathcal{B}\\)-subsequence and a \\(\\mathcal{B}\\)-convergent sequence in a metric space. A \\(\\mathcal{B}\\)-sequence in \\(X\\) is a function \\(a:A\\to X\\), where \\(A\\in\\mathcal{L}_\\mathcal{B}\\). A \\(\\mathcal{B}\\)-sequence \\(\\{ x_n\\}_{n\\in B}\\) is called a \\(\\mathcal{B}\\)-subsequence of \\(\\{ x_n\\}_{n\\in A}\\) if \\(B\\subset A\\). A \\(\\mathcal{B}\\)-sequence \\(\\{ x_n\\}_{n\\in B}\\) \\(\\mathcal{B}\\)-converges to \\(x\\in X\\) if for every \\(\\varepsilon>0\\) the set \\(\\{ n\\in B: \\varrho(x_n,x)\\geq\\varepsilon\\}\\) is small, i.e., does not belong to \\(\\mathcal{L}_\\mathcal{B}\\). The following version of the Bolzano-Weierstrass theorem is proven: If \\(\\mathcal{B}\\) is a Ramsey coideal basis, then every bounded \\(\\mathcal{B}\\)-sequence of real numbers has a \\(\\mathcal{B}\\)-convergent subsequence. In the last section, the authors establish the following version of the fundamental Rosenthal \\(\\ell_1\\)-dichotomy theorem: If \\(\\mathcal{B}\\) is a semiselective coideal basis, then every bounded \\(\\mathcal{B}\\)-sequence of real-valued functions defined on an infinite set \\(X\\), \\(\\{ f_n\\}_{n\\in A}\\), has a \\(\\mathcal{B}\\)-subsequence \\(\\{ f_n\\}_{n\\in B}\\) which is either \\(\\mathcal{B}\\)-convergent or equivalent to the unit vector basis of \\(\\ell_1(B)\\).  Reviewer's remark: It seems that many of the results from Section 2 have been previously reported by \\textit{R. Filip\u00f3w} et al. in the language of ideal convergence, see [J. Symb. Log. 72, No. 2, 501--512 (2007; Zbl 1123.40002); Czech. Math. J. 61, No. 2, 289--308 (2011; Zbl 1249.05378)], or [J. Math. Anal. Appl. 396, No. 2, 680--688 (2012; Zbl 1258.40001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$B5E2BEA9-5D4F-4A96-90EB-6EFCCB331C6D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45e94f3d9dc5e9989293ab48c0676c296f03a685","datavalue":{"value":{"entity-type":"item","numeric-id":178038,"id":"Q178038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704530$8E0D13C5-BA3B-45ED-81CF-01C5401CED39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"927d15df6b882983311f88c8a781730439ec4b27","datavalue":{"value":"40A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704530$8A0FFF0A-008F-4328-B55F-DECA2A1590CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704530$57A6F57C-649A-4A61-BEE1-042447ABC3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704530$ACBE2C89-4DCC-4BBD-BF34-329779ED2683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b84d62804dd0c7f646a3c87f4aba23da6e201fb6","datavalue":{"value":"6848945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704530$B0A6D425-197D-4534-9C1B-F98532672D28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43ed0d3308e7e9f7ef1df96ba696f3d0a3c01e","datavalue":{"value":"\\(\\ell_1\\)-dichotomy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$579EDC6F-186B-47CD-BD2F-2B3B83E9F6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91c27b9233ec3562d4cddf9abee137bc3f8a5d9","datavalue":{"value":"coideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$738BE91F-8D75-4D91-98E6-63E20AB80E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ebc447c4db523bec4fa2266f9a310e9afb2663","datavalue":{"value":"coideal basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$22AF693D-0D83-4D00-ADEA-C1379B52A234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07bdc20e61133c78e3de1eba6df01a04147a03ef","datavalue":{"value":"selective coideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$2FF0C1A1-9E54-4D0C-A5AA-689C5BEB33E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345d4e6e13dd2e74e170ed48a0022dc53cc71bcf","datavalue":{"value":"semiselective coideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$8BEFDE52-8825-40DC-84BE-640059C4FA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c146dd87ff089693618ec05f5005976757216965","datavalue":{"value":"Ramsey coideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$47A0E89B-32B1-4720-A030-EF269C8E2699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b8a3a270101cae168be5db71fd24da5d1d9875","datavalue":{"value":"coideal convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$1BE09101-38A7-49DC-B23F-B5DDA9999E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15459e313b5403e4068508ebd437664336953cff","datavalue":{"value":"Bolzano-Weierstrass theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704530$A67E09B9-B323-427D-9BED-3EFA28ED3E96","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":"Q1704530$02AF9765-640F-4D4A-911B-F5E1357D628A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96d8a3395137504cd42fa2473437b485c1e624b","datavalue":{"value":{"entity-type":"item","numeric-id":4874624,"id":"Q4874624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abc6c196a2e53103ebba95893d5ef645358f23d","datavalue":{"value":{"amount":"+0.8827544","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":"Q1704530$97C667FB-F05B-4909-84C0-392393495D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa223c1c53b80a1cd1163c14c9ad6b3799fcd31","datavalue":{"value":{"entity-type":"item","numeric-id":4228102,"id":"Q4228102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c1f86786b3e4afd480748d8447e59a2ab49b33","datavalue":{"value":{"amount":"+0.8755078","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":"Q1704530$E5D2B842-88E0-47BD-8DA4-3956C11411FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58ba1b7cc6bcfeb49c73420f6844f67569e587d","datavalue":{"value":{"entity-type":"item","numeric-id":5423349,"id":"Q5423349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c61f7a6f529f4abfb50a281fc28db5f3a2d3c5","datavalue":{"value":{"amount":"+0.87257385","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":"Q1704530$5416307A-BBBF-4FD2-BEFF-B5198D544EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78717faf73b463576a4f23fa25aaa79b14ffffa2","datavalue":{"value":{"entity-type":"item","numeric-id":2376706,"id":"Q2376706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e09059501522bef20852d1121c5ec869b53c2ce","datavalue":{"value":{"amount":"+0.8709159","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":"Q1704530$FAD2923E-58A3-4AC5-B5B8-28DB6D4A3B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f05896d8eb9680b75c2d4379579841bc6edc37","datavalue":{"value":{"entity-type":"item","numeric-id":5404161,"id":"Q5404161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176fc145513253852fd0f1af0a7f6badcf8a27a5","datavalue":{"value":{"amount":"+0.86848927","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":"Q1704530$282E1F4D-4DB4-49AA-83CB-0022218A83F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7a6b479e5df096133f143712f88aa29ef940d7","datavalue":{"value":{"entity-type":"item","numeric-id":4827554,"id":"Q4827554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3670d881f118097f89fc14fc45f3227d399a1e8","datavalue":{"value":{"amount":"+0.86528313","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":"Q1704530$0F026F32-524E-453D-895B-DDBB79D3AFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23c4f0253781458825b4f03537873cd46f464d5","datavalue":{"value":{"entity-type":"item","numeric-id":1737236,"id":"Q1737236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12646cf20169ff6f852d6a378d38fd2429bf5764","datavalue":{"value":{"amount":"+0.864277","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":"Q1704530$A905DA1D-99A0-4163-BCD1-285AB458CD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7800b2e414e06728c4588090d3412937649ba35a","datavalue":{"value":{"entity-type":"item","numeric-id":5239781,"id":"Q5239781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb81ca74a54acac3929a05230e8e9296a3293181","datavalue":{"value":{"amount":"+0.8614695","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":"Q1704530$F48B74BA-7218-45CA-AC9C-2971715D22BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c530b7927c88115eb585a1c073097edbce4b8ebc","datavalue":{"value":{"entity-type":"item","numeric-id":5224445,"id":"Q5224445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b98f332ed700b21257431d9ed093dce75a05502","datavalue":{"value":{"amount":"+0.85835516","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":"Q1704530$A883BF89-B313-4D93-809E-5DDB9B823E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14804de2c3befdb16a15dbbfaa2dadd5b56ea6ba","datavalue":{"value":{"entity-type":"item","numeric-id":2176089,"id":"Q2176089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f6d2de6c06cb9747ca5b01a23f0d74e326c795","datavalue":{"value":{"amount":"+0.8569564","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":"Q1704530$36432181-29F2-4D25-8781-18BD6669C140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\ell 1\\)-dichotomy theorem with respect to a coideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(%5Cell_1%5C)-dichotomy_theorem_with_respect_to_a_coideal"}}}}}