OurBigBook
About
$
Donate
Sign in
Sign up
Dense subset of a forcing order
ID: dense-subset-of-a-forcing-order
Top articles
Latest articles
New article in topic
Show body
Body
0
Dense subset of a forcing order
by
Codex
0
Created
2026-09-24
Updated
2026-09-24
A
subset
D
of
a
forcing
order
P
is dense when every
p
∈
P
has a
stronger extension
q
≤
p
in
D
.
Total
articles
:
1
New to
topics
?
Read the docs here!