show/hide this revision's text 1 [made Community Wiki]

The Ax-Kochen theorem about zeros of forms over the $p$-adics which was proved using model theory.