English

Saccharinity with ccc

Logic 2025-05-28 v2

Abstract

Using creature technology, we construct families of Suslin ccc non-sweet forcing notions Q\mathbb Q such that ZFCZFC is equiconsistent with ZF+ZF+"every set of reals equals a Borel set modulo the (1)(\leq \aleph_1)-closure of the null ideal associated with Q\mathbb Q"+"there is an ω1\omega_1-sequence of distinct reals". This answers a question of the second author and Kellner. As an application of independent interest, we also show how our forcing adds a new Π21\Pi^1_2 singleton over LL without relying on LL-combinatorics.

Keywords

Cite

@article{arxiv.1610.02706,
  title  = {Saccharinity with ccc},
  author = {Haim Horowitz and Saharon Shelah},
  journal= {arXiv preprint arXiv:1610.02706},
  year   = {2025}
}
R2 v1 2026-06-22T16:15:40.362Z