Generically Invariant Set Theory
摘要
\(\mathcal {L}_{MV}\) is a sublanguage of the standard language of set theory in which the mathematics based on set-forcing-invariant principles can be carried out, and in which set-forcing-sensitive questions have no obvious formalization. We discuss some philosophical and technical issues related to the expressive power of this language.