关于ω正规扩张超实数集的序结构

<正> 三十年代 T.Skolem 提出非标准算术模型,60年代 A.Robinson 又提出非标准分析.关于非标准自然数和实数(我们称之为超自然数和超实数)的序结构,A、Robinson的[4]中已阐述了一些基本结果,之后 E.Zakon 在[2]中作了较为系统的研究.本文在此基础上对最简单的一类超实数集,我们称之为ω正规扩张超实数集的序结构作了进一步探讨.主要结果有:(i)超自然数集的序型表示式ω+(ω~*+ω)θ中的序型θ满足