Polish G-spaces, the generalized model theory and complexity

A. Ivanov, B. Majcher-Iwanow

Given Polish space $\mathbf{Y}$ and continuous language $L$ we study the corresponding logic $\mathsf{Iso}(\mathbf{Y})$-space ${\mathbf{Y}}_L$. We build a framework of generalized model theor…