Recursion in Partial Type-1 Objects With Well-Behaved Oracles

We refine the definition of II-computability of [12] so that oracles have a “consistent”, but natural, behaviour. We prove a Kleene Normal Form Theorem and closure of semi-recursive relations under ?¹. We also show that in this more inclusive computation theory Post's theorem in the arithmetical hierarchy still holds. Mathematics Subject Classification: 03D65, 03D75.     

A generalization of the Dual Ellentuck Theorem

 We prove versions of the Dual Ramsey Theorem and the Dual Ellentuck Theorem for families of partitions which are defined in terms of games. Received: 8 July 1999 Published online: 19 December 2002 RID="*" ID="*" The author wishes to thank the Swiss National Science Foundation for supporting him. The authors thank the referee for helpful comments. Mathematics Subject Classification (2000): 03E02, 05D10, 03E35 Key words or phrases: Dual Ramsey Theorem – Dual Ellentuck Theorem – Partitions – Games     

Refined hierarchy of formulas

In this paper a hierarchy of predicate logic which refines the hierarchy by the number of quantor alterations is introduced and studied. Theorem 1 shows that the hierarchy constructed is the most refined in a certain sense. Theorem 2 describes hierarchy classes in terms of properties of the corresponding models. In Theorems 3 and 4, the connection between the hierarchy of formulas and the hierarchy of sets presented in [1] and the index sets is studied.Translated from Algebra i Logika, Vol. 30, No. 5, pp. 568–582, September–October, 1991.     

The Cauchy formula with s-monogenic kernel and a functional calculus for noncommuting operators

The new notion of slice monogenic functions introduced in the paper [F. Colombo, I. Sabadini, D.C. Struppa, Slice monogenic functions, Israel J. Math. 171 (2009) 385-403] led us to define a new functional calculus for an n-tuple of not necessarily commuting operators, see [F. Colombo, I. Sabadini, D.C. Struppa, A new functional calculus for noncommuting operators, J. Funct. Anal. 254 (2008) 2255-2274]. In this paper we prove a Cauchy formula with slice monogenic kernel for the slice monogenic functions. This new Cauchy formula is the fundamental tool to prove that our functional calculus apply to a more general setting. Moreover, we deduce some fundamental properties of the functional calculus, for example: some algebraic properties, the Spectral Mapping Theorem and the Spectral Radius Theorem.     

The translation theorem

Summary We state and prove the Translation Theorem. Then we apply the Translation Theorem to Soare's Extension Theorem, weakening slightly the hypothesis to yield a theorem we call the Modified Extension Theorem. We use this theorem to reprove several of the known results about orbits in the lattice of recursively enumerable sets. It is hoped that these proofs are easier to understand than the old proofs.Mathematics subject classification (1991): 03D25The author was partially supported by a NSF Postdoctoral Fellowship and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University and wishes to thank Michael Stob and Rodney Downey for their help     

A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus

In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment. Mathematics Subject Classification: 03B20, 03B22, 06D15.     

Positive eigenvalues for nonlinear multivalued noncompact operators with applications to differential operators

The first part of Section 1 contains two theorems concerning the existence of positive eigenvalues and corresponding eigenvectors for multivalued and not necessarily compact mappings. Theorem 1 contains as special cases the Birkhoff-Kellogg and Krasnoselskii theorems for single-valued compact mappings while Theorem 2 includes a single-valued result of Reich and some results of Schaefer concerning the existence of positive eigenvalues. The second part of Section 1 contains Theorem 3, which extends another result of Schaefer for positive compact mappings to positive eigenvalue problems involving not necessarily compact mappings. In Section 2 our Theorem 1 is applied to positive eigenvalue problems involving quasilinear ordinary integro-differential operators, quasilinear elliptic operators, and nonlinear ordinary differential operators.     

LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR

We investigate a theory of Frege structures extended by the Myhill-Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60.     

Products of Toeplitz Operators on the Bergman Space

In 1962 Brown and Halmos gave simple conditions for the product of two Toeplitz operators on Hardy space to be equal to a Toeplitz operator. Recently, Ahern and Cucković showed that a similar result holds for Toeplitz operators with bounded harmonic symbols on Bergman space. For general symbols, the situation is much more complicated. We give necessary and sufficient conditions for the product to be a Toeplitz operator (Theorem 6.1), an explicit formula for the symbol of the product in certain cases (Theorem 6.4), and then show that almost anything can happen (Theorem 6.7).     

A remark on entire solutions of quasilinear elliptic equations

By applying a main comparison theorem of Pucci and Serrin (2007) [2] we cover, for general equations of p-Laplace type, the open cases of Theorems B, D, E of Farina and Serrin (submitted for publication) [1] as described in Problems 2 and 3 of Section 12 of Farina and Serrin (submitted for publication) [1]. Moreover, we provide significant improvements of Theorem C and Theorem 5 of Farina and Serrin (submitted for publication) [1], the latter in the context of mean curvature type operators, see Theorem 1.3 and Theorems 5.2-5.4 below.Finally, Theorem 1.1 provides a new Liouville theorem outside the context of work in Farina and Serrin (submitted for publication) [1].     

On Wainer's notation for a minimal subrecursive inaccessible ordinal

We show the following results on Wainer's notation for a minimal subrecursive inaccessible ordinal τ: First, we give a constructive proof of the collapsing theorem. Secondly, we prove that the slow-growing hierarchy and the fast-growing hierarchy up to τ have elementary properties on increase and domination, which completes Wainer's proof that τ is a minimal subrecursive inaccessible. Our results are obtained by showing a strong normalization theorem for the term structure of the notation. MSC: 03D20, 03F15.     

Bergman空间上Toeplitz算子的局部化

In this paper we characterize the essential spectra of Toeplitz operators on Bergman spaces by using Douglas‘ localization Theorem and obtain the local decomposition of the essential spectra of Toeplitz operators.     

Inverse and saturation theorems for linear combination of modified Baskakov operators

In this paper, we consider linear combinations of modified Baskakov operators. By use of several lemmas, we obtain the inverse theorem (Theorem 1.1) and the saturation (Theorem 1.2) for those linear combinations.     

Weighted norm inequalities for L'-valued integral operators and applications

In this paper we prove weighted norm estimates for vector valued integral operators with positive kernels. In addition weighted norm inequalities for certain general vector valued singular integral operators are obtained. Applications of these results include a generalized Sobolev Theorem for Lizorkin-Triebel spaces and estimates of various Littlewood-Paley operators.     

用线性弱正算子逼近

用线性正算子的逼近理论飞速发展,但正性是一个较强的限制,孙永生,王仁宏等研究过减弱正性限制,作者研究用线性弱正算子逼近,推广Korovkin定理和Grundmann定理等等.     

Generalization of the Newman-Shapiro isometry theorem and Toeplitz operators

We give a generalization of the Newman-Shapiro Isometry Theorem to the case of Hilbert space-valued entire functions, which are square-summable with respect to the Gaussian measure on ⁿ , together with some applications in the theory of Toeplitz operators with operator-valued symbols. The study of various properties (such as density of domains, cores, closedness and boundedness from below) of these operators in illustrated with many relevant examples.Research supported by KBN under grant no. 2 P03A 041 10.     

An ℓp and ℓ∞ version of Tacon's theorem

In this note we present two generalizations to a Theorem of Tacon on sequences of operators.     

de Rham－Hodge－Signature算子的局部指标定理

整体的Ａｔｉｙａｈ－Ｓｉｎｇｅｒ指标定理对于一般的椭圆微分算子都成立．但对于局部指标定理来说，人们只能对具体的算子给予证明．并且各种情况需个别处理．由［６］知本文中证得的ｄｅＲｈａｍ－Ｈｏｄｇｅ－Ｓｉｇｎａｔｕｒｅ算子的局部指标既不是α型也不是β型的．这和经典的椭圆算子情形不同．     

An Extension of Lomonosov's Techniques to non-compact Operators

The aim of this work is to generalize Lomonosov's techniques in order to apply them to a wider class of not necessarily compact operators. We start by establishing a connection between the existence of invariant subspaces and density of what we define as the associated Lomonosov space in a certain function space. On a Hilbert space, approximation with Lomonosov functions results in an extended version of Burnside's Theorem. An application of this theorem to the algebra generated by an essentially self-adjoint operator yields the existence of vector states on the space of all polynomials restricted to the essential spectrum of . Finally, the invariant subspace problem for compact perturbations of self-adjoint operators acting on a real Hilbert space is translated into an extreme problem and the solution is obtained upon differentiating certain real-valued functions at their extreme.

     

Pointwise approximation by Bézier variant of integrated MKZ operators

In this paper the pointwise approximation of Bézier variant of integrated MKZ operators for general bounded functions is studied. Two estimate formulas of this type approximation are obtained. The approximation of functions of bounded variation becomes a special case of the main result of this paper. In the case of functions of bounded variation, Theorem B of the paper corrects the mistake of Theorem 1 of the article [V. Gupta, Degree of approximation to functions of bounded variation by Bézier variant of MKZ operators, J. Math. Anal. Appl. 289 (2004) 292-300].