相关论文: Extensions of Nunokawa lemma for argument properti…

Given an argumentation framework AF, we introduce a mapping function that constructs a disjunctive logic program P, such that the preferred extensions of AF correspond to the stable models of P, after intersecting each stable model with the…

In this paper we give simple extension and uniqueness theorems for restricted additive and logarithmic functional equations.

We give an extension of Pizzetti's formula associated with the Dunkl operators. It gives an explicit formula for the Dunkl inner product of an arbitrary function and a homogeneous Dunkl harmonic polynomial on the unit sphere.

We study expressive power of continuous logic in classes of metric groups defined by properties of their actions. For example we consider properties non-OB, non-FH and non-FR. The paper substantially extends Section 2 of the paper A.Ivanov,…

A direct proof of Oka's lemma on the relation of holomorphic convexity and the properties of the distance to the boundary function is provided. Some related problems for subharmonicity properties of this function are also studied. A new…

This survey shows how, for the Nevanlinna class N of the unit disc, one can define and often characterize the analogues of well-known objects and properties related to the algebra of bounded analytic functions $ H^\infty$: interpolating…

Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensional testing in the style of DeNicola, Hennessy, and a…

In the present paper, we obtain a more general conditions for univalence of analytic functions in the open unit disk U. Also, we obtain a refinement to a quasiconformal extension criterion of the main result.

In this paper, we study analytic and geometric properties of the solution $q(z)$ to the differential equation $q(z)+zq'(z)/q(z)=h(z)$ with the initial condition $q(0)=1$ for a given analytic function $h(z)$ on the unit disk $|z|<1$ in the…

A new uniform asymptotic expansion for the incomplete gamma function $\Gamma(a,z)$ valid for large values of $z$ was given by the author in {\it J. Comput. Appl. Math.} {\bf 148} (2002) 323--339. This expansion contains a complementary…

Let $\mathbb{K}$ be a function field of characteristic $p>0$. We recently established the analogue of a theorem of Ku. Nishioka for linear Mahler systems defined over $\mathbb{K}(z)$. This paper is dedicated to proving the following…

It is known that, under certain conditions, *-representability and extensibility to the unitized *-algebra of a positive linear functional, defined on a *-algebra without unit, are equivalent. In this paper, a new condition for an analogous…

We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…

In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…

The notion of the truncated Euler characteristic for Iwasawa modules is an extension of the notion of the usual Euler characteristic to the case when the homology groups are not finite. This article explores congruence relations between the…

Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the…

We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…

Let U be the open unit disc in C. Given a continuous function g: bU --> C-{0} denote by W(g) the winding number of g around the origin. We prove that a continuous function f: bU --> C extends meromorphically through U if and only if there…

We generalize the Gleason-Kahane-\.Zelazko theorem to modules. As an application, we show that every linear functional on a Hardy space that is non-zero on outer functions is a multiple of a point evaluation. A further consequence is that…

Azuma's inequality is a tool for proving concentration bounds on random variables. The inequality can be thought of as a natural generalization of additive Chernoff bounds. On the other hand, the analogous generalization of multiplicative…