Small forcing preservation of finite-subset partition properties
ID: small-forcing-preservation-of-finite-subset-partition-properties
If inaccessible has the finite-subset partition property for every color number below , forcing of size below preserves its two-color version. Color ground-model finite sets by their full forcing decision patterns; strong-limit cardinal arithmetic bounds the number of patterns.
New to topics? Read the docs here!