%0 Journal Article
%T 用超网构造非标准模型初探
%A 张翔
%J 科学通报
%P 415-415
%D 1985
%X 1934年Skolem发现了算术的非标准模型,1960年Robinson利用模型论中的紧致性定理证明了分析的非标准模型的存在,并利用超积构造算术和分析的非标准模型以及一般的扩大。此后有些数学家利用超幂(特殊的超积)构造超实数集很成功,它更使人们相信非标准实数的存在。但超积、超幂,一般都用超滤来构造。本文拟用超网来构造超幂。从而给出某些
%U http://csb.scichina.com:8080/CN/abstract/abstract356899.shtml