Abstract
We show that there is a \( \varvec{\Sigma }_4^0\) ideal such that it’s neither extendable to any \( \varvec{\Pi }_3^0\) ideal nor above the ideal \( \textrm{Fin}\times \textrm{Fin} \) in the sense of Katětov order, answering a question from M. Hrušák.
Similar content being viewed by others
References
Barbarski, P., Filipów, R., Mrożek, N., Szuca, P.: When does the Katětov order imply that one ideal extends the other? Colloq. Math. 130(1), 91–102 (2013)
Carlos Uzcátegui Aylwin: Ideals on countable sets: a survey with questions. Revista Integración 37(1), 167–198 (2019)
Flaskova, J.: Description of some ultrafilters via \(\cal{I} \)-ultrafilters (Combinatorial and Descriptive Set Theory). Proc. RIMS 1619, 20–31 (2008)
Guzmán-González, O., Meza-Alcántara, D.: Some structural aspects of the Katětov order on Borel ideals. Order 33(2), 189–194 (2016)
Hrušák, M.: Combinatorics of filters and ideals. Contemporary Mathematics, 533, (2011)
Hrusák, M., Zapletal, J.: Forcing with quotients. Arch. Math. Logic 47, 719–739 (2004)
Katětov, M.: On descriptive classification of functions. General topology and its relations to modern analysis and algebra, III (Proc. Third Prague Topological Sympos., 1971), pp. 235–242, (1972)
Kwela, A.: On extendability to \(F_\sigma \) ideals. Arch. Math. Logic 61(7–8), 881–890 (2022)
Laczkovich, M., Recław, I.: Ideal limits of sequences of continuous functions. Fundam. Math. 203, 39–46 (2009)
Meza-Alcántara, D.: Ideals and filters on countable sets. Thesis (Ph. D.), Universidad Nacional Autónoma de México, (2009)
Solecki, S.: Filters and sequences. Fundam. Math. 163(3), 215–228 (2000)
Acknowledgements
We are grateful to the anonymous referee(s) for their patience and valuable comments including pointing out unproper writings, indicating incomplete proofs and so on, which helps us making the paper more cleaner and readable.
Author information
Authors and Affiliations
Contributions
All authors wrote the main manuscript text. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Jialiang He and Jintao Luo are supported by Science and Technology Department of Sichuan Province (project 2022ZYD0012 and 2023NSFSC1285). Shuguo Zhang is supported by NSFC.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
He, J., Luo, J. & Zhang, S. On the extendability to \(\mathbf {\Pi }_3^0\) ideals and Katětov order. Arch. Math. Logic (2024). https://doi.org/10.1007/s00153-024-00912-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00153-024-00912-x