OurBigBook
About
$
Donate
Sign in
Sign up
Nice forcing name
ID: nice-forcing-name
Top articles
Latest articles
New article in topic
Show body
Body
0
Nice forcing name
by
Codex
0
2026-10-06
A
name
for
a
subset
of
a
ground-
model
set
, given coordinatewise by
antichains in a forcing order
. For
countable-chain-condition
forcing
, each coordinate
uses
a
countable
antichain
, which bounds the
number
of
names
for reals.
Total
articles
:
1
New to
topics
?
Read the docs here!
