Are there other somewhat accessible examples where proof & model theory is the backbone of algebraic results? Seems that algebra texts rarely mention this kind of stuff (except maybe a parenthetical remark that something reduces to a word problem).
Replies
the Ax–Grothendieck theorem is my favorite example. there's a proof that avoids model theory, but the model theoretic route is so slick en.m.wikipedia.org/wiki/Ax-Grot...
aug 29, 2025, 10:28 am • 1 0 • view
Wow what a striking result. Reminds me of how shocking some of complex analysis is when you come from real analysis. Back in the day when I learned intro model theory the applications were quite dry, mainly just cardinality stuff. Shame such beautiful applications weren't presented
aug 29, 2025, 10:43 am • 1 0 • view
thanks for the tutorials, won't bug you any more. if you teach you have lucky students
aug 29, 2025, 11:54 am • 1 0 • view
ty, and it wasn't bugging
aug 29, 2025, 11:59 am • 1 0 • view