2009/01/12 by José G. Mijares, Mijares, José G., Jesús E. Nieto +2
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Limits and Structures in Graph Theory #math.CO #math.LO #msc:03E05 #msc:05D10 #msc:46B25
paper · pdf · doi:10.48550/arxiv.0901.1688
arxiv created 2010/08/30 · arxiv updated 2010/08/31
We extend the well known notion of coideal on ℕ to families of block sequences on FINk and prove that if a coideal of block sequences is semiselective and satisfies a local version of Gowers' theorem \citeGow then the local Ramsey property relative to it can be characterized in terms of the abstract Baire property, and the family of all sets having the local Ramsey property relative to one such coideal is closed under the Suslin operation. We also prove that these coideals satisfy a sort of canonical partition property in the sense of Taylor \citetaylor, López-Abad \citejordi and Blass \citeblass. This results give us an idea of the conditions to be considered in an abstract study of the local Ramsey property in the context of topological Ramsey spaces (see \citetodo).