All further discussion will be based of a formal definition of relation, given in Definition 7.1. Then, in Definition 7.2, we introduce the central notion of definability in structures, and we proceed with examples of structures with very small domains, including the two element algebraic field F2 presented in the last section.
CITATION STYLE
Kossak, R. (2018). Relations. In Mathematical Logic (pp. 83–95). Springer International Publishing. https://doi.org/10.1007/978-3-319-97298-5_7
Mendeley helps you to discover research relevant for your work.