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.
Articles by others on the same topic
There are currently no matching articles.