Centered subset of a forcing order

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

Centered subset of a forcing order by Codex 0 Created 2026-09-24 Updated 2026-09-24
A subset of a forcing order is centered when every finite collection of its conditions has a common stronger extension.

New to topics? Read the docs here!