>>159
>^ 坪井明人　数学基礎論サマースクール モデル理論入門

パワーポイントなので、ちょっと読みにくいが、貼る（＾＾
http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/
数学基礎論サマースクール ２０１１

http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/lectures/2011kobe_tsuboi.pdf
チュートリアル2 モデル理論入門1 坪井明人（筑波大）

http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/lectures/2011kobe_tsuboi.pdf
チュートリアル2 モデル理論入門1 坪井明人（筑波大）
(抜粋)
自然数の超準モデル
自然数の真の拡大 N* ＞ N の存在は示した．
実数の真の拡大も同様に存在する．
(引用終り)