Assertion: boolean algebra | /r/Synonym | collapsing algebra
Facets:
Source sentences:
text: (This boolean algebra is called a collapsing algebra, because forcing with it collapses the cardinal κ onto ω.)