Related papers: The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete …

The elegant theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are…

For a real number $0<\lambda<2$, we introduce a transformation $T_\lambda$ naturally associated to expansion in $\lambda$-continued fraction, for which we also give a geometrical interpretation. The symbolic coding of the orbits of…

We prove that orthogonal constructor term rewrite systems and lambda-calculus with weak (i.e., no reduction is allowed under the scope of a lambda-abstraction) call-by-value reduction can simulate each other with a linear overhead. In…

Kleene algebra axioms are complete with respect to both language models and binary relation models. In particular, two regular expressions recognise the same language if and only if they are universally equivalent in the model of binary…

Chaitin's number Omega is the halting probability of a universal prefix-free machine, and although it depends on the underlying enumeration of prefix-free machines, it is always Turing-complete. It can be observed, in fact, that for every…

In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} ~(\bmod ~…

The big $-1$ Jacobi polynomials $(Q_n^{(0)}(x;\alpha,\beta,c))_n$ have been classically defined for $\alpha,\beta\in(-1,\infty)$, $c\in(-1,1)$. We extend this family so that wider sets of parameters are allowed, i.e., they are non-standard.…

Let $\Omega\subset\mathbb{C}$ be a bounded domain such that there exists an algebraic harmonic function of degree two vanishing on the boundary of $\Omega.$ Then we show that the Khavinson-Shapiro conjecture holds for $\Omega:$ if the…

The present paper demonstrates the failure of the principle of excluded middle (PEM) in the lattice of all closed linear subspaces of a Hilbert space (usually defined as quantum logic). Namely, it is shown that for a qubit, a proposition…

For two given $\omega$-terms $\alpha$ and $\beta$, the word problem for $\omega$-terms over a variety $\boldsymbol{\mathrm{V}}$ asks whether $\alpha=\beta$ in all monoids in $\boldsymbol{\mathrm{V}}$. We show that the word problem for…

Let $\Omega$ denote the class of functions $f$ analytic in the open unit disc $\Delta$, normalized by the condition $f(0)=f'(0)-1=0$ and satisfying the inequality \begin{equation*} \left|zf'(z)-f(z)\right|<\frac{1}{2}\quad(z\in\Delta).…

The Pieri rule is an important theorem which explains how the operators e_k of multiplication by elementary symmetric functions act in the basis of Schur functions s_lambda. In this paper, for any rational number m/n, we study the…

Two topics of the number theory are discussed in this paper. First, we prove that given each natural number $x\geq10^{3}$, we have \[ |{\rm Li}(x)-\pi(x)|\leq c\sqrt{x}\log x\texttt{ and } \pi(x)={\rm Li}(x)+O(\sqrt{x}\log x) \] where $c$…

Exact and asymptotic formulae are displayed for the coefficients $\lambda_n$ used in Li's criterion for the Riemann Hypothesis. In particular, we argue that if (and only if) the Hypothesis is true, $\lambda_n \sim n(A \log n +B)$ for $n \to…

We determine the three-loop $\overline{\text{MS}}$ quartic $ \beta $-function for the most general renormalisable four-dimensional theories. A general parametrization of the $ \beta $-function is compared to known $ \beta $-functions for…

In this paper, we consider the well-known following shape optimization problem: $$\lambda_2(\Omega^*)=\min_{\stackrel{|\Omega|=V_0} {\Omega\textrm{ convex}}} \lambda_2(\Omega),$$ where $\lambda_2(\Om)$ denotes the second eigenvalue of the…

Induction is typically formalized as a rule or axiom extension of the LK-calculus. While this extension of the sequent calculus is simple and elegant, proof transformation and analysis can be quite difficult. Theories with an induction…

Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is lambda-calculus a reasonable machine? Is there a way to measure the computational complexity…

An explicit identity of sums of powers of complex functions presented via this a closed-form formula of Riemann zeta function produced at any given non-zero complex numbers. The closed-form formula showed us Riemann zeta function has no…

Here is the simplest particular case of our main result: let $f:{\bf R}\to {\bf R}$ be a function of class $C^1$, with $\sup_{\bf R}f'>0$, such that $$\lim_{|\xi|\to +\infty}{{f(\xi)}\over {\xi}}=0\ .$$ Then, for each $\lambda>{{\pi^2}\over…