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

Let $(\Omega, \mu)$, $(\Delta, \nu)$ be measure spaces. Let $(\{f_\alpha\}_{\alpha\in \Omega}, \{\tau_\alpha\}_{\alpha\in \Omega})$ and $(\{g_\beta\}_{\beta\in \Delta}, \{\omega_\beta\}_{\beta\in \Delta})$ be continuous p-Schauder frames…

We establish an omega theorem for logarithmic derivative of the Riemann zeta function near the 1-line by resonance method. We show that the inequality $\left| \zeta^{\prime}\left(\sigma_A+it\right)/\zeta\left(\sigma_A+it\right) \right|…

Let \Omega be a set of unsatisfiable clauses, an implicit resolution refutation of \Omega is a circuit \beta with a resolution proof {\alpha} of the statement "\beta describes a correct tree-like resolution refutation of \Omega". We show…

In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that…

The set equality problem is to tell whether two sets $A$ and $B$ are equal or disjoint under the promise that one of these is the case. This problem is related to the Graph Isomorphism problem. It was an open problem to find any $\omega(1)$…

A sequence of real numbers $\{x_{n}\}_{n\in \mathbb{N}}$ is said to be $\alpha \beta$-statistically convergent of order $\gamma$ (where $0<\gamma\leq 1$) to a real number $x$ \cite{a} if for every $\delta>0,$ $$\underset{n\rightarrow…

Let $\lambda =\left( \lambda_{1},\lambda_{2},...,\lambda_{r}\right) $ be an integer partition, and $\left[p_{\lambda }\right] $ the $q$-analog of the symmetric power function $%p_{\lambda }$. This $q$-analogue has been defined as a special…

Let G be a powerful finite p-group. In this note, we give a short elementary proof of the following facts for all $i\ge 0$: (i) $\exp \Omega_-i(G)\le p^i$ for odd p, and $\exp \Omega_-i(G)\le 2^{i+1}$ for p = 2; (ii) the index $|G:G^{p^i}|$…

We explore a number of functional properties of the $q$-gamma function and a class of its quotients; including the $q$-beta function. We obtain formulas for all higher logarithmic derivatives of these quotients and give precise conditions…

Fekete's lemma is a well known result from combinatorial mathematics that shows the existence of a limit value related to super- and subadditive sequences of real numbers. In this paper, we analyze Fekete's lemma in view of the arithmetical…

Let $\Omega$ be a bounded, connected, sufficiently smooth open set, $p>1$ and $\beta\in\mathbb R$. In this paper, we study the $\Gamma$-convergence, as $p\rightarrow 1^+$, of the functional \[ J_p(\varphi)=\frac{\int_\Omega F^p(\nabla…

For any irrational real number xi, let lambda(xi) denote the supremum of all real numbers lambda such that, for each sufficiently large X, the inequalities |x_0| < X, |x_0*xi-x_1| < X^{-lambda} and |x_0*xi^2-x_2| < X^{-lambda} admit a…

Let (R,m,k) be an excellent, local, normal ring of characteristic p with a perfect residue field and dim R=d. Let M be a finitely generated R-module. We show that there exists a real number beta(M) such that lambda(M/I^[q]M) = e_{HK}(M) q^d…

In this work, we mainly study the one-loop effective action for real scalar theories in non-homogeneous backgrounds in odd dimensions. It is shown that through the method studied in Ref. [1], it is possible to obtain a unified result for…

In this work we study rank-one quantum games. In particular, we focus on the study of the computability of the entangled value $\omega^*$. We show that the value $\omega^*$ can be efficiently approximated up to a multiplicative factor of 4.…

Let $p>1$ and $1/p+1/q=1$. Consider H\"older's inequality $$ \|ab^*\|_1\le \|a\|_p\|b\|_q $$ for the $p$-norms of some trace ($a,b$ are matrices, compact operators, elements of a finite $C^*$-algebra or a semi-finite von Neumann algebra).…

The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…

We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of…

Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural…

An algebraic criterion for the vanishing of the beta function for renormalizable quantum field theories is presented. Use is made of the descent equations following from the Wess-Zumino consistency condition. In some cases, these equations…