Assertion: set | /r/HasAspect | property
Facets:
Source sentences:
text: In other words, if a set having a property that depends only on sets in \(HC\) exists in some (ideal) generic extension of \(V\) obtained by forcing with a ccc partial ordering, then a set with that property already exists in \(V\).