16
$\begingroup$

I've been reading up on some Model Theory lately. My question is simple. What is the purpose of the theory to begin with? How does it enrich mathematics? A-priori, it doesn't seem like we're doing much, and the theory doesn't seem awfully too far from algebra in many instances. For instance, you could interpret the question of $\pi$ or $e$ being algebraic numbers, as a question of definability in model theory. But what's the significance of doing that? Would this be an exercise in futility, since we would have to fall back to algebraic reasonings anyway? Does model theory provide us with new tools to study such questions?

  1. What's the significance of introducing and coming up with theorems about languages, how does algebra fall short of that?
  2. What's the significance of studying different models of the same theory? It is tempting to say that they are all the "same" (certainly at least up to some equivalence relation).
$\endgroup$
9
  • 2
    $\begingroup$ So would you say that all groups are the "same"? $\endgroup$ Mar 7 '17 at 17:07
  • 6
    $\begingroup$ @MauroALLEGRANZA I would also argue that it is an interesting and valuable branch of mathematics intrinsically . . . $\endgroup$ Mar 7 '17 at 17:13
  • 4
    $\begingroup$ @JoeShmo I presume you mean "isomorphic"? $\endgroup$ Mar 7 '17 at 17:14
  • 4
    $\begingroup$ @JoeShmo: But in the question you're claiming that all models of a given theory (such as in this case, the first-order theory of groups) should be said to be "the same". That claim is not restricted to isomorphic models. $\endgroup$ Mar 7 '17 at 17:18
  • 2
    $\begingroup$ @JoeShmo It's not true under any interesting equivalence relation. In what sense are all groups "equivalent"? (Remember that groups are exactly the models of the theory of groups, so this is a special case of what you are claiming!) $\endgroup$ Mar 7 '17 at 17:26
16
$\begingroup$

While more generality is not always better, we often find it easier to prove a more general result. For instance, although one can prove the unsolvability of the quintic without invoking Galois theory explicitly, that's surely the wrong way to do it: the right way is to develop Galois theory along the way, since it's the natural narrative the problem lives in.

Similarly, model theory is one way of moving from specific settings (e.g. the theory of groups) to more general ones (arbitrary theories). It is certainly not the only way - category theory is a wildly different (and in terms of applications, more successful) example - but it is one way, and it should be no more surprising that it has applications than that any generalization does. In particular, your objections ("But what's the significance of doing that? Would this be an exercise in futility, since we would have to fall back to algebraic reasonings anyway?") could be made to any approach to generalizing anything.

So what are some applications of model theory?

Well, let me begin by addressing an error in the OP and the comments. Theories define classes of structures - e.g. the group axioms constitute a theory, and a model of the group axioms is exactly . . . a group! There are non-isomorphic groups, as I'm sure you're aware. Theories do not in general determine structures up to isomorphism. A version of this (even for complete theories!) can be made precise and proved via the compactness theorem, so your claim that all models of a theory $T$ are "the same" is completely false. There is in general no good sense in which any two models of a theory $T$ are equivalent. (There is an equivalence relation coming from model theory, elementary equivalence, which applies when two structures satisfy all the same first-order sentences - or equivalently each satisfy some complete theory $S$ - but this only makes sense in the context of complete theories, not theories in general.)

Interestingly, compactness turns out to be a useful tool for developing applications! A good example is the Ax-Kochen theorem. Another application is the existence of the hyperreals, a kind of ordered field which allows calculus with infinitesimals to be formally developed; incidentally, compactness here is specifically applied to a complete theory, so it's even valuable to move between two elementarily equivalent structures! And for a much more advanced example, consider the role of compactness for proving transfer principles in motivic integration.

You also dismiss the use of definable elements and sets. This is a mistake. By analyzing the structure of definable (and definable-with-parameters) sets in a structure, we can prove results about the structure itself. O-minimality has been especially useful in this regard.

Finally, connecting back to Galois theory, model theory provides general approaches to Galois-like theories, and was particularly useful in resolving a number of questions in differential Galois theory.


Let me add one more (and then I'll stop since I think I've made my point). A very logic-y theorem is the (downward) Lowenheim-Skolem theorem; roughly speaking, given a "big" structure we may find a "small" substructure satisfying all the same sentences.

Even this result, which is couched specifically in terms of first-order sentences, has applications! There are several examples in general topology that I'm aware of; see e.g. this paper (but there are many others).

$\endgroup$
1
  • 1
    $\begingroup$ Thanks, that's more or less what I'm looking for. To clarify -- I am hardly claiming anything. I am suggesting to the audience which points I'd like to have attacked most. Can you elaborate on the usefulness of analyzing the structure of the space of definable sets within a structure? $\endgroup$
    – Joe Shmo
    Mar 7 '17 at 20:07
6
$\begingroup$

Noah makes a good point. In fact, the noted representation theorist David Kazhdan wrote in the first chapter (logic) of his notes on Motivic integration wrote: On the first glance one should not distinguish between different models of T, since all the results which are true in one model of T are true in any other model. One of main observations of the Model theory says that our decision to ignore the existence of differences between models is too hasty. Different models of complete theories are of different flavors and support different intuitions\footnote{Examples are atomic, homogenous, and saturated models.}. So an attack on a problem often starts [with] a choice of an appropriate model. Such an approach lead to many non-trivial techniques for constructions of models which all are based on the compactness theorem which is almost the same as the fundamental existence theorem.

http://www.ma.huji.ac.il/~kazhdan/Notes/motivic/b.pdf

If it is not too self-promoting let me recommend my book. Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism by John T. Baldwin (Author) Cambridge Press 2018.

$\endgroup$
2
  • 1
    $\begingroup$ Hi John, I am familiar with this note by Kazhdan, and in fact this note was a motivation for my question. Since the note became very technical, very quick, I wasn't really able to follow. Can you give an example of where model theory comes in handy to construct an exotic (or otherwise) object? Perhaps one where usual constructions fail to provide intuition? $\endgroup$
    – Joe Shmo
    Aug 6 '18 at 3:40
  • 1
    $\begingroup$ The real point of model theory, in my opinion, is to provide an overview that identifying unifying ideas across mathematics. A strongly minimal set is one such that every definable set is finite or cofinite. Standard examples are the integers under successor (trivial), vector spaces, and algebraically closed field. More novel are solution sets of certain Painleve equations (which have solved 100 year old problems). Zilber had conjectured that any strongly minimal set i like one of those. (The new Painleve solutions are interesting precisely because they are in the trivial category). $\endgroup$ Aug 7 '18 at 12:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.