LST定理与模型论方法──兼评新著《非标准分析概论》

LST Theorem and Methods of Model Theory──Reviews:《An Introduction to Non-Standard Analysis》

以ＬＳＴ定理为例说明模型论成果作为逻辑性结论起推理工具作用的特点．讨论ＬＳＴ定理对非标准分析的应用．对新著《非标准分析概论》给予了评论．

How the results of model theory work as logical and inference tools by example LST theorem is explained. The applications of LST theorem to the non-standard analysis are discussed.Comment on the new work 《An Introduction to Non-Standard Analysis》 is made.