Unthreadability with Small Conditions

From MaRDI portal



Abstract: We introduce a forcing that adds a square(aleph2,aleph0)-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both square(aleph2,<!aleph0) and squarealeph1,aleph0 fail in the forcing extension.














This page was built for publication: Unthreadability with Small Conditions

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