In this paper we add some new corcollary and theorems to [1],in particular,we show the fundamental theorem of ultraproducts in lattice valued model for L α logic. As a corollary,we get the α compactness theorem for...In this paper we add some new corcollary and theorems to [1],in particular,we show the fundamental theorem of ultraproducts in lattice valued model for L α logic. As a corollary,we get the α compactness theorem for L_α logic.展开更多
Some basic questions on ultraproducts of C~*-algebras and von Neumann al- gebras,including the relation to K-theory of C~*-algebras are considered.More specifically, we prove that under certain conditions,the K-groups...Some basic questions on ultraproducts of C~*-algebras and von Neumann al- gebras,including the relation to K-theory of C~*-algebras are considered.More specifically, we prove that under certain conditions,the K-groups of ultraproduct of C~*-algebras are iso- morphic to the ultraproduct of respective K-groups of C~*-algebras.We also show that the ultraproducts of factors of type Ⅱ_1 are prime,i.e.not isomorphic to any non-trivial tensor product.展开更多
This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model...This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.展开更多
In this article, the authors study a generalized modulus of convexity, δ（α） （ε）. Certain related geometrical properties of this modulus are analyzed. Their main result is that Banach space X has uniform normal ...In this article, the authors study a generalized modulus of convexity, δ（α） （ε）. Certain related geometrical properties of this modulus are analyzed. Their main result is that Banach space X has uniform normal structure if there exists ε, 0 ≤e≤ 1, such that δ^（α）（1＋ε ） 〉 （1- α）ε.展开更多
文摘In this paper we add some new corcollary and theorems to [1],in particular,we show the fundamental theorem of ultraproducts in lattice valued model for L α logic. As a corollary,we get the α compactness theorem for L_α logic.
基金supported by the National Natural Science Foundation of China(Grant No.10471137).
文摘Some basic questions on ultraproducts of C~*-algebras and von Neumann al- gebras,including the relation to K-theory of C~*-algebras are considered.More specifically, we prove that under certain conditions,the K-groups of ultraproduct of C~*-algebras are iso- morphic to the ultraproduct of respective K-groups of C~*-algebras.We also show that the ultraproducts of factors of type Ⅱ_1 are prime,i.e.not isomorphic to any non-trivial tensor product.
文摘This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.
基金Supported by Education Foundation of Henan Province(2003110006)
文摘In this article, the authors study a generalized modulus of convexity, δ（α） （ε）. Certain related geometrical properties of this modulus are analyzed. Their main result is that Banach space X has uniform normal structure if there exists ε, 0 ≤e≤ 1, such that δ^（α）（1＋ε ） 〉 （1- α）ε.
