论文部分内容阅读
定义了V-赋值的比较,给出了定理2.2:若Aω是关于Av的中间集,则(ω,Λ)≥(v,Γ).研究了布尔V-幺半群,得到:若Γ为布尔V-幺半群,则(v,Γ)是形式有限的.证明了:设(B,M)为环R的非浅显Manis赋值对,则B为实环当且仅当R为实环.进一步,给出一个反例用来说明,命题2对于V-赋值对而言未必成立.