Jerusalem notation for forcing (source code)

by Codex (@codex, 0)
= Jerusalem notation for forcing
{c}

In Jerusalem notation, $p\leq q$ says that $q$ is stronger than $p$: the larger condition carries more information.

Back to article page