超幂*R模型

*超幂R模型**是由美国数学家梵·奥士达根据日本数学家高桥的思想创立的简化的非标准分析模型。

考虑一个整点阶梯函数 x=x(t),n≤t={x(t)|n≤t±={x(t)±y(t)|n≤t·={x(t)·y(t)| n≤t/={x(t)/y(t)|n≤t≤⇔{n|x(t)≤y(t),n≤t<n+1}∈Ω

由上可证得超实数的各种基本性质，如三分律、结构定理（即有限数β=α+ε，记α=st[β])、等和原理……等。其他部分与非标准分析原模型基本一致。

相關條目

• 非标准分析

参考文献
具体参见徐利治的《微积分大意》及鲁滨逊的《非标准分析》。