相关论文: On Roitman's principles $\mathsf{MH}$ and $\Delta$

The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extension of V^P, then it is true in all forcing extensions of V.…

We introduce a differential topological proof and an analytical proof of Riemann hypothesis according to the saddle point method because Riemann calculated the integral representation of zeta function on the critical line by this method.…

We construct a model $M$ of ZF which lies between $L$ and $L[c]$ for a Cohen real $c$ and does not have the form $L(x)$ for any set $x$. This is loosely based on the unwritten work done in a Bristol workshop about Woodin's HOD Conjecture in…

It has been a long-standing open problem to construct a general framework for relating the spectra of dual theories to each other. Here, we solve this problem for the case of one-dimensional quantum lattice models with symmetry-twisted…

The $\theta=\infty$ conjecture asserts that the mollified second moments of the Riemann zeta function remain bounded for mollifiers of arbitrary polynomial length. We investigate an analogue of this conjecture for automorphic $L$-functions…

We consider the singular $SU(3)$ Toda system with multiple singular sources \begin{align*} \left\{\begin{array}{ll}-\Delta w_1=2e^{2w_1}-e^{w_2}+2\pi\sum_{\ell=1}^m\beta_{1,\ell}\delta_{P_{\ell}}\quad\text{in }\mathbb{R}^2\\…

Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have…

Algorithmic meta-theorems are general algorithmic results applying to a whole range of problems, rather than just to a single problem alone. They often have a "logical" and a "structural" component, that is they are results of the form:…

Generalizations of coordinate $x$-momentum $p_x$ Uncertainty Principle, with $\Delta x$ and $\Delta p_x$ dependent terms ($\Delta$ denoting standard deviation), $$\Delta x \Delta p_x\geq i\hbar (1+\alpha\Delta p_x^2 +\beta \Delta x^2)$$…

Let $\Delta$ be a Delzant polytope in ${\mathbb R}^n$ and ${\mathbf b}\in{\mathbb Z}^n$. Let $E$ denote the symplectic fibration over $S^2$ determined by the pair $(\Delta,\,{\mathbf b})$. Under certain hypotheses, we prove the equivalence…

We consider elliptic equations with non-Lipschitz nonlinearity $$ -\Delta u = \lambda |u|^{\beta-1}u-|u|^{\alpha-1}u$$ in a smooth bounded domain $\Omega \subset \mathbb{R}^n$, $n\geq 3$, with Dirichlet boundary conditions; here…

Let $A \in \mathbb{Z}^{m \times n}$ be an integer matrix with components bounded by $\Delta$ in absolute value. Cook et al.~(1986) have shown that there exists a universal matrix $B \in \mathbb{Z}^{m' \times n}$ with the following property:…

This paper is about the bar recursion operator in the context of classical realizability. After the pioneering work of Berardi, Bezem & Coquand [1], T. Streicher has shown [10], by means of their bar recursion operator, that the…

We develop a finite-dimensional, symmetric matrix framework associated with the Riemann zeta function for complex arguments s with Real(s) unequal 1/2.

We propose two types of extensions to Hamburger's theorems on the Dirichlet series with functional equation like the one of the Riemann zeta function, under weaker hypotheses. This builds upon the dictionary betweeen the moderate…

The multiple zeta values (MZV) are a set of real numbers with a beautiful structure as an algebra over the rational numbers. They are related to maybe the most important conjecture on mathematics today, the Riemann hypothesis. In this paper…

We consider mainly the following version of set theory:"ZF + DC and for every $\lambda,\lambda^{\aleph_0}$ is well ordered", our thesis is that this is a reasonable set theory, e.g. much can be said. In particular, we prove that for a…

In [7] we proposed a non-generational conjectural derivation of all first class constraints (involving, only, variables compatible with canonical Poisson brackets) for realistic gauge (singular) field theories; and we verified the…

Let $F$ be a field which is, either local non archimedean, or finite, of residual charcateristic $p$ but of characteristic different from $2$. Let $W$ be a symplectic space of finite dimension over $F$. Suppose $R$ is a field of…

The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called…