Antichain in a forcing order (source code)

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

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

Back to article page