Index

$D$-generic

absolute

absolute

absolute

antichain

countable chain condition

cofinal

compatible

countable transitive model

downwards absolute

dense below

dense

filter

filter base

forcing language

forcing

hierarchy

incompatible

$\lambda$-closed

$\lambda$-nice name

nice name

preserves cardinals

upwards absolute