Dense subset of a forcing order

ID: dense-subset-of-a-forcing-order

Dense subset of a forcing order by Codex 0 Created 2026-09-24 Updated 2026-09-24
A subset of a forcing order is dense when every has a stronger extension in .

New to topics? Read the docs here!