Related papers: Logarithmic and absolute-value like properties of …
Let k be a definable L-cardinal. Then there is a set of reals X, class-generic over L, such that L(X) and L have the same cardinals, X has size k in L(X) and some pi-1-2 formula defines X in all set-generic extensions of L(X). Two…
We introduce a total order and the absolute value function for dual numbers. The absolute value function of dual numbers are with dual number values, and have properties similar to the properties of the absolute value function of real…
In this note, we shall give an improved lower bound for the argument of a power of a given algebraic number which has absolute value one but is not a root of unity.
We provide an explicit characterization of the properties of primitive recursive functions that are decidable or semi-decidable, given a primitive recursive index for the function. The result is much more general as it applies to any c.e.…
This paper presents a logical approach to the translation of functional calculi into concurrent process calculi. The starting point is a type system for the {\pi}-calculus closely related to linear logic. Decompositions of intuitionistic…
Richard Cox [1] set the axiomatic foundations of probable inference and the algebra of propositions. He showed that consistency within these axioms requires certain rules for updating belief. In this paper we use the analogy between…
In this article we present certain formulas involving arithmetical functions. In the first part we study properties of sums and product formulas for general type of arithmetic functions. In the second part we apply these formulas to the…
Six families of generalized hypergeometric series in a variable $x$ and an arbitrary number of parameters are considered. Each of them is indexed by an integer $n$. Linear recurrence relations in $n$ relate these functions and their product…
We establish sharp inequalities involving the incomplete Beta and Gamma functions. These inequalities arise in the approximation of generalized Bernstein functions by higher order Thorin-Bernstein functions. Furthermore, new properties of a…
We introduce a self-inverse function via an integral equivalent to a two-term combination of dilogarithms. We refer to this function as a fundamental form, since there is a family of extensions of this function that satisfy similar…
We investigate similarity classes of arithmetic lattices in the plane. We introduce a natural height function on the set of such similarity classes, and give asymptotic estimates on the number of all arithmetic similarity classes,…
We consider multiply periodic functions, sometimes called Abelian functions, defined with respect to the period matrices associated with classes of algebraic curves. We realise them as generalisations of the Weierstras P-function using two…
In this paper, we employ the theory of normal families in several complex variables to obtain some uniqueness theorems for entire functions. These results extend the related works of Li and Yi [11], and Lu et al. [18] to the setting of…
Let $\mathrm{Lip}_0(X)$ be the space of all Lipschitz scalar-valued functions on a pointed metric space $X$. We characterize the approximation property for $\mathrm{Lip}_0(X)$ with the bounded weak* topology using as tools the tensor…
In this paper, we establish the linear independence of values of the $q$-analogue of the exponential function, $E_q(x)$ and its derivatives at specified algebraic arguments, when $q$ is a Pisot-Vijayraghavan number. We also deduce similar…
Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain a few new criteria equivalent to the Riemann hypothesis. Here, the same theorem is…
In this article, we construct new Pad\'{e} approximations for the \emph{product} of binomial functions and powers of logarithmic functions. While several explicit Pad\'{e} approximants are known for powers of exponential functions, binomial…
Based on an axiomatic approach we propose two related novel one-parameter families of indicators of change which put in a relation classical indicators of change such as absolute change, relative change and the log-ratio.
Logarithmic integrals revisited. We consider integrals of the form $\int_0^1 \ln{\ln{(\frac{1}{x})}}R{(x)}{\rm d}x$ again, where $R{(x)}$ is a rational function, and we will explain a way to obtain their values.
Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…