Saccharinity with ccc

MaRDI QIDQ6278446zbMATH OpenFDO

Authors Haim Horowitz, S. Shelah

Publication date 9 October 2016

Abstract: Using creature technology, we construct families of Suslin ccc non-sweet forcing notions $mathbbQ$ such that $ZFC$ is equiconsistent with $ZF+$"every set of reals equals a Borel set modulo the $(leqalep{h}_1)$-closure of the null ideal associated with $mathbbQ$"+"there is an $omeg{a}_1$-sequence of distinct reals".

This page was built for publication: Saccharinity with ccc

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6278446)