Juliette Kennedy (Cambridge and Helsinki), Entanglement and Formalism Freeness Revisited: Templates From Logic and Set Theory

We revisit some issues involving what we call "formalism freeness", a form of robustness with respect to various logics. We also consider the dual notion "entanglement", the sensitivity of a structure to the underlying logic, in the sense that small changes of syntax induce large changes in the structure. The set theoretical results are joint work with M. Magidor and J. Väänänen.