Related papers: The uniform Martin's conjecture for many-one degre…

Models of computation operating over the real numbers and computing a larger class of functions compared to the class of general recursive functions invariably introduce a non-finite element of infinite information encoded in an arbitrary…

The object of this paper is to study relationship between successive coefficients of some subclasses of the class of univalent functions in the unit disk. the result obtained is sharp, and is used to provide a new, short proof of the…

We study generalizations of Demuth's Theorem, which states that the image of a Martin-L\"of random real under a tt-reduction is either computable or Turing equivalent to a Martin-L\"of random real. We show that Demuth's Theorem holds for…

We introduce a concept of a quasi proximate order which is a generalization of a proximate order and allows us to study efficiently analytic functions whose order and lower order of growth are different. We prove an existence theorem of a…

Let $\Omega \subset \mathbb{C}^m$ be an open, connected and bounded set and $\mathcal{A}(\Omega)$ be a function algebra of holomorphic functions on $\Omega$. In this article we study quotient Hilbert modules obtained from submodules,…

Let $M$ be a smooth manifold of dimension $2n$, and let $O_{M}$ be the dense open subbundle in $\wedge^{2}T^{\ast}M$ of $2$-covectors of maximal rank. The algebra of $\operatorname*{Diff}M$-invariant smooth functions of first order on…

We prove that, for every theory $T$ which is given by an ${\mathcal L}_{\omega_1,\omega}$ sentence, $T$ has less than $2^{\aleph_0}$ many countable models if and only if we have that, for every $X\in 2^\omega$ on a cone of Turing degrees,…

We prove a new case of mixed discrete joint universality theorem on approximation of certain target couple of analytic functions by the shifts of a pair consisting of the function belonging to wide class of Matsumoto zeta-functions and the…

In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…

We investigate a collection of orthonormal functions that encodes information about the continued fraction expansion of real numbers. When suitably ordered these functions form a complete system of martingale differences and are a special…

We show that positively $1$--homogeneous rank one convex functions are convex at $0$ and at matrices of rank one. The result is a special case of an abstract convexity result that we establish for positively $1$--homogeneous directionally…

In our earlier work math.QA/9808015 some results on integral representations of functions in quantum disc were announced. It was then shown in math.QA/9808037 that the validity of those results is related to the invariance of kernels of…

In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and order. Afterwards, we combine the results from our study of…

We prove that several results in different areas of number theory such as the divergent series, summation of arithmetic functions, uniform distribution modulo one and summation over prime numbers which are currently considered to be…

We establish a connection between the ratios conjecture for the Riemann zeta-function and a conjecture concerning correlations of convolutions of M\"{o}bius and divisor functions. Specifically, we prove that the ratios conjecture and an…

We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described by a computably enumerable set, such as lower semicomputable…

For convex univalent functions we give instances where the sharp bound for various coefficient functionals are identical to those for the corresponding bound for the inverse function. We give instances where the sharp bounds differ and also…

We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity, and that degree of categoricity is $\bf{0^{(\alpha)}}$ for…

In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…

We present conditions that allow us to pass from the convergence of probability measures in distribution to the uniform convergence of the associated quantile functions. Under these conditions, one can in particular pass from the asymptotic…