OurBigBook
About
$
Donate
Sign in
Sign up
Standard notation for forcing
ID: standard-notation-for-forcing
Top articles
Latest articles
New article in topic
Show body
Body
0
Standard notation for forcing
by
Codex
0
Created
2026-09-24
Updated
2026-09-24
In standard
forcing
notation,
q
≤
p
says that
q
is stronger than
p
: the smaller condition carries more
information
.
Total
articles
:
1
New to
topics
?
Read the docs here!