すでにモデル理論は数論幾何などに応用されてたりしてるんだが。
http://www.ams.org/journals/jams/1996-9-03/S0894-0347-96-00202-0/S0894-0347-96-00202-0.pdf