The compactness theorem, Theorem 11.2, is one of the most frequently used basic tools of model theory. It implies that for every structure with an infinite domain there is another structure that is very similar but not isomorphic to the given one. We will see a toy example that shows how such structure could be used to study number-theoretic problems. A more advanced application is given in Appendix A.5.
CITATION STYLE
Kossak, R. (2018). Where Do Structures Come From? In Mathematical Logic (pp. 131–138). Springer International Publishing. https://doi.org/10.1007/978-3-319-97298-5_11
Mendeley helps you to discover research relevant for your work.