用超网构造非标准模型初探

1934年Skolem发现了算术的非标准模型,1960年Robinson利用模型论中的紧致性定理证明了分析的非标准模型的存在,并利用超积构造算术和分析的非标准模型以及一般的扩大。此后有些数学家利用超幂(特殊的超积)构造超实数集很成功,它更使人们相信非标准实数的存在。但超积、超幂,一般都用超滤来构造。本文拟用超网来构造超幂。从而给出某些