English

On ideals related to Laver and Miller trees

Logic 2025-09-03 v3

Abstract

In this work we consider the ideals m0(I)m^0(\mathcal{I}) and 0(I)\ell^0(\mathcal{I}), ideals generated by the I\mathcal{I}-positive Miller trees and I\mathcal{I}-positive Laver trees, respectively. We investigate in which cases these ideals have cofinality larger than c\mathfrak{c} and we calculate some cardinal invariants closely related to these ideals.

Keywords

Cite

@article{arxiv.2312.01387,
  title  = {On ideals related to Laver and Miller trees},
  author = {Aleksander Cieślak and Arturo Martínez-Celis},
  journal= {arXiv preprint arXiv:2312.01387},
  year   = {2025}
}

Comments

19 pages