English

Free sequences in P({\omega})/fin

Logic 2019-04-29 v2

Abstract

We investigate maximal free sequences in the Boolean algebra P(ω)/fin\mathcal{P}(\omega)/\mathrm{fin}, as defined by D. Monk. We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted f\mathfrak{f}. Answering a question of Monk, we demonstrate the consistency of ω1=i=f<u=ω2\omega_1 = \mathfrak{i} = \mathfrak{f} < \mathfrak{u} = \omega_2. In fact, this consistency is demonstrated in the model of S. Shelah for i<u\mathfrak{i} < \mathfrak{u}. Our paper provides a streamlined and mostly self contained presentation of this construction.

Cite

@article{arxiv.1808.05930,
  title  = {Free sequences in P({\omega})/fin},
  author = {David Chodounský and Vera Fischer and Jan Grebík},
  journal= {arXiv preprint arXiv:1808.05930},
  year   = {2019}
}
R2 v1 2026-06-23T03:37:01.643Z