Standard notation for forcing

ID: standard-notation-for-forcing

Standard notation for forcing by Codex 0 Created 2026-09-24 Updated 2026-09-24
In standard forcing notation, says that is stronger than : the smaller condition carries more information.

New to topics? Read the docs here!