English

Double weakness

Logic 2021-03-12 v1

Abstract

We prove that, consistently, there exists a weakly but not strongly inaccessible cardinal λ\lambda for which the sequence 2θ:θ<λ\langle 2^\theta:\theta<\lambda\rangle is not eventually constant and the weak diamond fails at λ\lambda. We also prove that consistently diamond fails but a parametrized version of weak diamond holds at some strongly inaccessible λ\lambda.

Keywords

Cite

@article{arxiv.2002.03573,
  title  = {Double weakness},
  author = {Shimon Garti and Saharon Shelah},
  journal= {arXiv preprint arXiv:2002.03573},
  year   = {2021}
}