$\mbox{}^*\tau_x$的结构及其性质

The Structure of $\mbox{}^*\tau_x$ and Its Properties

中文关键词:  共点关系  $\kappa$-饱和  单子  $*$-有限.

英文关键词:concurrent  $\kappa$-saturation  monad  $*$-finite.

中文摘要:

      在$\kappa$-饱和的非标准模型中,讨论了${^*\tau_x}$的结构及其性质.首先,本文给出了一个内集在${^*\tau_x}$中的充分必要条件.其次,对${^*\tau }_x$的性质做了进一步的讨论.最后,利用${^*\tau }_x$的性质,容易地证明了著名的逼近原理.

英文摘要:

      The structure and some properties of ${^*\tau_x}$ are discussed in the nonstandard $\kappa$-saturated model in this paper. First, a sufficient and necessary condition of a internal set in ${^*\tau _x}$ is given. Then, in $\kappa$-saturation, some properties of ${^*\tau } _x$ are proved. Finally, the approach theorem is easily obtained.