Double weakness
Logic
2021-03-12 v1
Abstract
We prove that, consistently, there exists a weakly but not strongly inaccessible cardinal for which the sequence is not eventually constant and the weak diamond fails at . We also prove that consistently diamond fails but a parametrized version of weak diamond holds at some strongly inaccessible .
Keywords
Cite
@article{arxiv.2002.03573,
title = {Double weakness},
author = {Shimon Garti and Saharon Shelah},
journal= {arXiv preprint arXiv:2002.03573},
year = {2021}
}