论文标题
Peano算术的崇高模型
Lofty Models of Peano Arithmetic
论文作者
论文摘要
如果M是Peano算术的非标准模型，则M为较高的IFF M具有简单的基本扩展，递归饱和。以前以可计数为生而闻名。
If M is a nonstandard model of Peano Arithmetic, then M is lofty iff M has a simple elementary extension that is recursively saturated. This had previously been known for countable M.
