Section 2.6: Problem 3 Solution
Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
Establish the following facts:
(b) and .
(c) and . (Part (c) follows from (a) and (b).)
(a) If is a model of , then it is a model of .
Similarly, if is true in every structure of , then is true in every structure of .
(b) Every sentence of is true in every model of , i.e. if , then .
Every sentence true in every structure of , is true in every structure of , i.e. for every , and for every , is a model of , i.e. .
(c) By (b), , and , so, by (a), .
By (b), , and , so, by (a), .
Note. The second equation of (c) holds in more general:
Indeed, is immediate. To show , assume, according to (b), that for a theory , . Then, there is . Then is consistent (otherwise, and ), and, hence, satisfiable. But then, there is a model of , which is a model of as well, such that is false in the model, contradicting the assumption that .
In particular, this equality means, that every theory is the theory of some class of structures, namely, . This, however, does not mean that every theory is axiomatizable, as the definition of axiomatizability requires that for some decidable .