Related papers: ${\Sigma}^0_3$ determinacy and ${\mathbf{\Pi}}^1_2…

Compared to the entrywise transforms which preserve positive semidefiniteness, those leaving invariant the inertia of symmetric matrices reveal a surprising rigidity. We first obtain the classification of negativity preservers by combining…

We prove the existence of (branched) conformal immersions F: S^2 -> R^3 with mean curvature H > 0 arbitrarily prescribed up to a 3-dimensional affine indeterminacy. A similar result is proved for the space forms S^3, H^3 and partial results…

In Part I of this paper, we presented a Hilbert-style system $\Sigma_D$ axiomatizing of stit logic of justification announcements (JA-STIT) interpreted over models with discrete time structure. In this part, we prove three frame…

We introduce system S^2_0E, a bounded arithmetic corresponding to Buss's S^2_0 with the predicate E which signifies the existence of the value. Then, we show that we can \Sigma^b_2-define truthness of S^2_0 E and therefore we can prove…

We give a simple proof of a strengthened version of a theorem of Lieb that played a key role in the proof of strong subadditivity of the quantum entropy.

It is well-known that sigma-models with symmetric target spaces are classically integrable. At the example of the model with target space the flag manifold U(3)/U(1)^3 -- a non-symmetric space -- we show that the introduction of torsion…

We prove the following well known conjecture: let $\Sigma$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $\phi \in \textup{Mod}(\Sigma)$ be a an infinite order mapping class. Then there exists…

In this note we will illustrate a method for computing the $\pi_0$ of the effective log motive of a smooth and proper variety over a perfect field $k$ and show that it is $\mathbf{A}^1$-invariant. We will apply this to compute the first…

We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of $\Sigma$ formulas. We consider theories whose axioms are implications between…

We discuss the existence of equilibrium configurations for the Hamiltonian point-vortex model on a closed surface $\Sigma$. The topological properties of $\Sigma$ determine the occurrence of three distinct situations, corresponding to…

We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles. Our logic…

2D nonlinear sigma models with Hermitian symmetric target admit a theta-term, which couples the field theory to the topological charge of its instanton gas. At the special coupling theta = pi, by what is nowadays attributed to a…

In this paper, we prove the uniqueness of solutions to the logarithmic Minkowski problem in $\mathbb{R}^3$ without symmetry condition, provided the density of the measure is close to $1$ in $C^{\alpha}$ norm. This result also implies the…

In this paper we consider Riemannian manifolds of dimension at least $3$, with nonnegative Ricci curvature and Euclidean Volume Growth. For every open bounded subset with smooth boundary we establish the validity of an optimal Minkowski…

We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $\Sigma_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega$). This improvement to known results in $L$ has many new…

Let ({\Sigma}, g) be a compact $C^2$ finslerian 3-manifold. If the geodesic flow of g is completely integrable, and the singular set is a tamely-embedded polyhedron, then ${\pi}_1({\Sigma})$ is almost polycyclic. On the other hand, if…

Under the assumption that the approximating function $\psi$ is monotonic, the classical Khintchine-Groshev theorem provides an elegant probabilistic criterion for the Lebesgue measure of the set of $\psi$-approximable matrices in $\R^{mn}$.…

Let y1, y2, y3, a1, a2, a3 > 0 be such that y1 y2 y3 = a1 a2 a3 and y1 + y2 + y3 >= a1 + a2 + a3, y1 y2 + y2 y3 + y1 y3 >= a1 a2 + a2 a3 + a1 a3. Then the following inequality holds (log y1)^2 + (log y2)^2 + (log y3)^2 >= (log a1)^2 + (log…

We note that Pillay's result on the stability of an algebraically closed field with a predicate for a group of Lang type implies that number uniformity follows formally from the finiteness results analogous to Faltings' Theorem.

Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open…