Blog

Here is a related question, but not quite what I’m after. I would like to define a function f[x_] that has the distributive attribute, such that: f[a+b+c] f[a]+f[b]+f[c] Of course I could do f[Plus[x_,y___]]:=f[x]+f[Plus[y]] but I suspect that this would be much slower than an actual Attribute. Unfortunately, I cannot find Distributive in the listRead more

Assume $ (\kappa_n| n<\omega)$ is an increasing sequence of inaccessible cardinals with $ \kappa_\omega=\sup_{n<\omega}\kappa_n.$ . Let $ ((\mathbb{P}_n| n \leq \omega), (\dot{\mathbb{Q}}_n | n<\omega))$ be a full support iteration of forcing notions, where for each $ n< \omega$ , we have $ \Vdash_{\mathbb{P}_n}$ “$ \dot{\mathbb{Q}}_n$ has size < $ \kappa_{n+1}$ and does not change $Read more