The Structure of $\mbox{}^*\tau_x$ and Its Properties
Received:December 12, 2005  Revised:August 28, 2006
Key Words: concurrent   $\kappa$-saturation   monad   $*$-finite.  
Fund Project:the Natural Science Foundation of Shaanxi Province (2007A12); the Basic Research Foundation of Xi'an Arch. \& Tech. University (JC0620) and the Youth Science Technology of Xi'an Arch. \& Tech. University (QN0736).
Author NameAffiliation
CHEN Dong-li School of Science, Xi'an University Architecture and Technology, Shaanxi 710055, China 
MA Chun-hui School of Science, Xi'an University Architecture and Technology, Shaanxi 710055, China 
SHI Yan-wei Department of Science and Engineering, Modern College of Northwest University, Shaanxi 710075, China 
Hits: 2785
Download times: 1837
Abstract:
      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.
Citation:
DOI:10.3770/j.issn:1000-341X.2007.04.002
View Full Text  View/Add Comment