http://www.amazon.co.jp/Models-Peano-Arithmetic-Oxford-Guides/dp/019853213X/sr=8-1/qid=1169634244/ref=sr_1_1/503-0299289-3162375?ie=UTF8&s=english-books

Peanoの公理のモデルはωだけじゃなくて任意の濃度のモデルが存在するってのは知ってると思うけど
Peanoの公理の超準モデルの研究とかをしている人は居ます。

残念でした。