*系统的一种改进系统 0*

研究了王国俊教授建立的模糊命题演算的形式演绎系统T以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了T系统的一种改进系统T0,并证明了二者之间的等价性,为形式演绎系统T的研究和应用提供了一个有益的途径。     

Boole代数中极大滤子的刻画与Cantor三分集

清楚地刻画出有限和由无限可数个基本元生成的Boole代数中极大滤子的具体结构,在全体极大滤子之集上通过自然的方式引入一种紧致的Hausdorff拓扑,证明了当Boole代数可由无限可数个基本元生成时所得的拓扑空间与Cantor三分集同胚.     

Characterizations of P(Q(4,Q),L)

In [2] we dealt with a characterization of the generalized quadrangle Q(4,q), q odd, by introducing the concept of (0,2)-set. The aim of this paper is to give a characterization of P(Q(4,q),L), q odd and L an arbitrary regular line of Q(4,q), by constructing these (0,2)-sets and using the result of [2].     

Infinite games in the Cantor space and subsystems of second order arithmetic

In this paper we study the determinacy strength of infinite games in the Cantor space and compare them with their counterparts in the Baire space. We show the following theorems: 1. RCA₀ ? ‐Det* ? ‐Det* ? WKL₀. 2. RCA₀ ? ( )2‐Det* ? ACA₀. 3. RCA₀ ? ‐Det* ? ‐Det* ? ‐Det ? ‐Det ? ATR₀. 4. For 1 < k < ω, RCA₀ ? ( )_k ‐Det* ? ( )_{k –1}‐Det. 5. RCA₀ ? ‐Det* ? ‐Det. Here, Det* (respectively Det) stands for the determinacy of infinite games in the Cantor space (respectively the Baire space), and ( )_k is the collection of formulas built from formulas by applying the difference operator k – 1 times. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A minimal Cantor set in the space of 3-generated groups

We construct and study a family of 3-generated groups parametrized by infinite binary sequences w. We show that two groups of the family are isomorphic if and only if the sequences are cofinal and that two groups cannot be distinguished by finite sets of relations. We show a connection of the family with 2-dimensional holomorphic dynamics.      

New examples of maximal space like surfaces in the anti-de Sitter space

Let be the three-dimensional anti-de Sitter space. In this paper we will construct new examples of complete maximal space like surfaces in . Moreover, we will prove that any complete maximal space like surface in with principal curvatures ±κ bounded away from zero must be isometric to the hyperbolic cylinder. Since the new examples that we have constructed have exactly two principal curvatures everywhere, we conclude that the condition on the principal curvatures on the previous result, i.e. the condition |κ(m)|>c>0, cannot be replaced by the condition |κ(m)|>0.     

Characterizations of the boundedness of generalized fractional maximal functions and related operators in Orlicz spaces

Given and a Young function η, we consider the generalized fractional maximal operator defined by where the supremum is taken over every ball B contained in . In this article, we give necessary and sufficient Dini type conditions on the functions , and η such that is bounded from the Orlicz space into the Orlicz space . We also present a version of this result for open subsets of with finite measure. Both results generalize those contained in 6 and 14 when , respectively. As a consequence, we obtain a characterization of the functions involved in the boundedness of the higher order commutators of the fractional integral operator with BMO symbols. Moreover, we give sufficient conditions that guarantee the continuity in Orlicz spaces of a large class of fractional integral operators of convolution type with less regular kernels and their commutators, which are controlled by .     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).