Unboring ideals

DOI10.4064/FM44-2-2023MaRDI QIDQ6108398zbMATH OpenFDO

Authors Adam Kwela

Publication date 29 June 2023

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.17166

zbMATH Keywords

Bolzano-Weierstrass theoremfilterHindman spaceidealKatětov order of idealsmaximal almost disjoint familysequentially compact spacevan der Waerden space

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Consistency and independence results (03E35) Foundations: limits and generalizations, elementary topology of the line (26A03) Convergence and divergence of series and sequences (40A05) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: Our main object of interest is the following notion: we say that a topological space space $X$ is in FinBW($mathcalI$), where $mathcalI$ is an ideal on $omega$, if for each sequence $(x_n{)}_{ninomega}$ in $X$ one can find an $AotinmathcalI$ such that $(x_n{)}_{ninA}$ converges in $X$. We define an ideal $mathcalBI$ which is critical for FinBW($mathcalI$) in the following sense: Under CH, for every ideal $mathcalI$, $mathcalBIotle{q}_{K}mathcalI$ ($le{q}_K$ denotes the Katv{e}tov preorder of ideals) iff there is an uncountable separable space in FinBW($mathcalI$). We show that $mathcalBIotle{q}_{K}mathcalI$ and $omeg{a}_1$ with the order topology is in FinBW($mathcalI$), for all $$ ideals $mathcalI$. We examine when FinBW($mathcalI$)$setminus$FinBW($mathcalJ$) is nonempty: we prove under MA($sigma$-centered) that for $$ ideals $mathcalI$ and $mathcalJ$ this is equivalent to $mathcalJotle{q}_{K}mathcalI$. Moreover, answering in negative a question of M. Hruv{s}'ak and D. Meza-Alc'antara, we show that the ideal $extFinimesextFin$ is not critical among Borel ideals for extendability to a $$ ideal. Finally, we apply our results in studies of Hindman spaces and in the context of analytic P-ideals.

Recommendations

• scientific article; zbMATH DE number 1553568
• The paradox of idealization
• On the core of ideals
• On the Shadows of Ideals
• scientific article; zbMATH DE number 510855
• Radical Ideals
• Ideals without ccc
• Rigid ideals
• Choosing between incompatible ideals

Cites work

• -selection principles for sequences of functions
• A brief remark on van der Waerden spaces
• A note on a new ideal
• Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
• Combinatorics of filters and ideals
• Convergence in van der Waerden and Hindman spaces
• Erdős-Ulam ideals vs. simple density ideals
• Filter descriptive classes of Borel functions
• Generalized kinds of density and the associated ideals
• Hindman spaces
• Homogeneous ideals on countable sets
• scientific article; zbMATH DE number 5566503 (Why is no real title available?)
• scientific article; zbMATH DE number 841174 (Why is no real title available?)
• Ideal convergence of bounded sequences
• Ideal equal Baire classes
• Ideal limits of sequences of continuous functions
• Katětov order on Borel ideals
• New Hindman spaces
• On completely regular spaces
• Properties of simple density ideals
• Three kinds of convergence and the associated I-Baire classes
• Topological representations
• Topology of Mrówka-Isbell Spaces
• Two 𝐹_{𝜎𝛿} ideals
• Van der Waerden spaces
• Van der Waerden spaces and Hindman spaces are not the same
• When does the Katětov order imply that one ideal extends the other?

Cited in

(6)

• Katětov order between Hindman, Ramsey and summable ideals
• Egorov ideals
• Ultrafilters and the Katětov order
• A unified approach to Hindman, Ramsey, and van der Waerden spaces
• Critical partition regular functions for compact spaces
• Critical ideals for countable compact spaces

This page was built for publication: Unboring ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6108398)