Nice forcing name
= Nice forcing name
A name for a subset of a ground-model set, given coordinatewise by <antichains in a forcing order>. For countable-chain-condition forcing, each coordinate uses a countable antichain, which bounds the number of names for reals.