Unboring ideals

DOI10.4064/FM44-2-2023arXiv2103.17166MaRDI QIDQ6108398FDOQ6108398

Adam Kwela

Publication date: 29 June 2023

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

filteridealmaximal almost disjoint familysequentially compact spaceHindman spacevan der Waerden spaceBolzano-Weierstrass theoremKatětov order of ideals

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Katětov order between Hindman, Ramsey and summable ideals
• Egorov ideals
• Ultrafilters and the Katětov order

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)