光滑Weyl和的分数幂均值的数值上界

通过讨论光滑Weyl和的任意幂次均值的数值上界之间的关系,本文给出了幂次为区间[4,5]中的值时相应均值的数值上界的一些新结果.     

光滑Weyl和的分数幂均值的数值上界(Ⅱ)

通过讨论光滑Weyl和的任意幂次均值的数值上界之间的关系,给出了幂次为区间[6,7]中的值时相应均值的数值上界的一些新结果.     

算术数列中的素变数指数和问题

旨在应用初等方法研究指数和问题,给出了算术数列中素变数非线性指数和的一个上界估计.     

Mahler型函数值的代数无关度量

In this paper,we give the algebraic independence measures for the values of Mahler type functions in complex number field and p-adic number field,respectively.     

关于严格蕴涵系统的布尔值模型（续）

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p→p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖=1; (b) ‖As41‖=1; (c) ‖As51‖=1 in the model (V^B,R,‖ ‖)(where B is a complete Boolean algebra, R is reflexive property in V^B).Therefore, the paper finally proves that the Boolean-valued model V^B of the ZFC axiom system in set theory is also a Boolean-valued model V^B of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis the strict implication system S3, S4 and S5.