Related papers: The canonical projection associated with a mixed p…
Infinitary and cyclic proof systems are proof systems for logical formulas with fixed-point operators or inductive definitions. A cyclic proof system is a restriction of the corresponding infinitary proof system. Hence, these proof systems…
The goal of this note is to show that continuous functions may be approximated using scattered translates of the Poisson kernel.
In this paper we show that the intuitionistic fixed point theory FiX^{i}(X) over set theories T is a conservative extension of T if T can manipulate finite sequences and has the full foundation schema.
In this paper, we introduce a new type of coupled fixed point theorem in partially ordered complete metric space. We give an example to support of our result.
We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…
The motion of a spinning football brings forth the possible existence of a whole class of finite dynamical systems where there may be non-denumerably infinite number of fixed points. They defy the very traditional meaning of the fixed point…
The canonical partition function is related to the grand canonical one through the fugacity expansion and is known to have no sign problem. In this paper we perform the fugacity expansion by a method of the hopping parameter expansion in…
We present a theorem on taking the repeated indefinite summation of a holomorphic function $\phi(z)$ in a vertical strip of $\mathbb{C}$ satisfying exponential bounds as the imaginary part grows. We arrive at this result using transforms…
We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…
Logic programming with fixed-point definitions is a useful extension of traditional logic programming. Fixed-point definitions can capture simple model checking problems and closed-world assumptions. Its operational semantics is typically…
The representation of the resolvent as an integral operator, the $m$ function, and the associated spectral representation are fundamental topics in the spectral theory of self-adjoint ordinary differential operators. Versions of these are…
It is well known that martingale difference sequences are very useful in applications and theory. On the other hand, the operator fractional Brownian motion as an extension of the well-known fractional Brownian motion also plays important…
The problem of approximating a sampled function using sums of a fixed number of complex exponentials is considered. We use alternating projections between fixed rank matrices and Hankel matrices to obtain such an approximation. Convergence,…
In this paper, we introduce the notion of windowed linear canonical transform in biquaternion setting namely Biquaternion Windowed Linear Canonical Transform (BiQWLCT) and various properties of BiQWLCT, such as linearity, shift, parity,…
Fractional integral operators connected with real-valued scalar functions of matrix argument are applied in problems of mathematics, statistics and natural sciences. In this article we start considering the case of a Gauss hypergeometric…
We explore a combinatorial bijection between two seemingly unrelated topics: the roots of irreducible polynomials of degree $m$ over a finite field $F_p$ for a prime number $p$ and the number of points that are periodic of order $m$ for a…
We characterize the indecomposable injective objects in the category of finitely presented representations of an interval finite quiver.
We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most…
We give direct and inverse theorems for the weighted approximation of functions with endpoint singularities by combinations of Bernstein operators.
In this paper, we study the weighted inequality for multilinear fractional maximal operators and fractional integrals. We give sharp weighted estimates for both operators.