Sh:1227

• Golshani, M., & Shelah, S. Adding highly undefinable sets over L. Preprint. arXiv: 2311.02322
• Abstract:
  We sow that there exists a generic extension of the Gödel’s constructible universe in which diamond holds and there exists a subset Y \subseteq \omega_1 such that for stationary many \delta < \omega_1, the set Y \cap \delta is not definable in the structure (L_{F(\delta)}, \in), where F(\delta) > \delta is the least ordinal such that L_{F(\delta)}\models“\delta is countable”.
• Version 2023-11-04 (6p)

@article{Sh:1227,
 author = {Golshani, Mohammad and Shelah, Saharon},
 title = {{Adding highly undefinable sets over $L$}},
 note = {\href{https://arxiv.org/abs/2311.02322}{arXiv: 2311.02322}},
 arxiv_number = {2311.02322}
}