English

Possible pcf algebras

Logic 2016-09-06 v1

Abstract

There exists a family {Bα}α<ω1\{B_{\alpha}\}_{\alpha<\omega_1} of sets of countable ordinals such that o maxBα=α\max B_{\alpha}=\alpha, o if αBβ\alpha\in B_{\beta} then BαBβB_{\alpha}\subseteq B_{\beta}, o if λα\lambda\leq \alpha and λ\lambda is a limit ordinal then BαλB_{\alpha}\cap\lambda is not in the ideal generated by the BβB_{\beta}, β<α\beta<\alpha, and by the bounded subsets of λ\lambda, o there is a partition {An}n=0\{A_n\}_{n=0}^{\infty} of ω1\omega_1 such that for every α\alpha and every n,n, BαAnB_{\alpha}\cap A_n is finite.

Keywords

Cite

@article{arxiv.math/9412208,
  title  = {Possible pcf algebras},
  author = {Thomas Jech and Saharon Shelah},
  journal= {arXiv preprint arXiv:math/9412208},
  year   = {2016}
}