Assertion: set's property | /r/HasProperty | depend on set
Facets:
value: in \(hc\
type: LOCATION
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\).