Cartagena Logic

We introduce a new kind of infinitary logic that we call Boolean expansion of {\mathcal L}_{\kappa \kappa}. This logic involves a new kind of variable, that we call generalised Boolean variable. These variables range over the powerset of a cardinal number in a way reminiscent of random variables. From this... Show more