Small forcing preservation of finite-subset partition properties (source code)

= Small forcing preservation of finite-subset partition properties

If inaccessible $\lambda$ has the finite-subset partition property for every color number below $\lambda$, forcing of size below $\lambda$ 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.