Symmetry and Definability

In this final chapter we will discuss connections between definability in first-order logic and in \({L_{\omega _1,\omega }}\) , as well as the number of symmetric images of functions and relations. There will be no proofs of general results, but we will see how they work with the aid of examples from previous sections.