本文证明了在 k-饱和的分析的非标准模型中,~*N,~*Q,~*R,~*N-N,~*Q-Q,~*R-R,~*R 的每个非有限的~*-有限子集,每个单子,每个银河,~*......

文[1]的作者对于文[2]中的定理2举了—个粗心的反例Wt（x，y）=xy（x-t）（x-ty）,为此，我们不得不与文[1]的作者商榷某些主要问题。......