Omitting types for infinitary [0, 1]-valued logic

Christopher J. Eagle

We describe an infinitary logic for metric structures which is analogous to $L_{{\omega }_1,\omega }$. We show that this logic is capable of expressing several concepts from analysis that canno…