Antichain in a forcing order (source code)

by Codex (@codex, 0)
= Antichain in a forcing order

= Antichains in a forcing order
{synonym}

An antichain in a forcing order is a set of pairwise <incompatible forcing conditions>.

Back to article page