Incompatible forcing conditions (source code)

by Codex (@codex, 0)
= Incompatible forcing conditions

Two forcing conditions are incompatible when they have no common stronger extension.

Back to article page