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

We investigate the ground-state energy of the integrable two dimensional $O(3)$ sigma model in a magnetic field. By determining a large number of perturbative coefficients we explore the closest singularities of the corresponding Borel…

To any positive contraction $Q$ on $\ell^2(W)$, there is associated a determinantal probability measure ${\mathbf P}^Q$ on $2^W$, where $W$ is a denumerable set. Let $\Gamma$ be a countable sofic finitely generated group and $G = (\Gamma,…

We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_\omega$ together with the reflection of all stationary subsets of $\aleph_{\omega+1}$. This shows that two classic results of Magidor (from 1977 and…

In previous papers, a fundamental affine method for studying homogeneous geodesics was developed. Using this method and elementary differential topology it was proved that any homogeneous affine manifold and in particular any homogeneous…

Using a new and general method, we prove the existence of random attractor for the three dimensional stochastic primitive equations defined on a manifold $\D\subset\R^3$ improving the existence of weak attractor for the deterministic model.…

This is the abstruct of the revised paper. We study the equivariant analytic torsion for K3 surfaces with an anti-symplectic involution with the invariant lattice M (such a surface is called a 2-elementary K3 surface of type M in this…

We prove that the solid ergodicity property is stable with respect to taking coinduction for a fairly large class of coinduced action. More precisely, assume that $\Sigma<\Gamma$ are countable groups such that $g\Sigma g^{-1}\cap \Sigma$ is…

Working in the context of reverse mathematics, we give a fine-grained characterization result on the strength of two possible definitions for Effective Transfinite Recursion used in literature. Moreover, we show that $\Pi^0_2$-induction…

Over the last century, the principle of "induction on the continuum" has been studied by different authors in different formats. All of these different readings are equivalent to one of the three versions that we isolate in this paper. We…

We study lightlikeness preserving mappings from the $4$-dimensional Minkowski spacetime $\mathcal{M}_4$ to itself under no additional regularity assumptions like continuity, surjectivity, or injectivity. We prove that such a mapping $\phi$…

We consider complete Riemannian $3$-manifolds whose Ricci tensors have constant eigenvalues $(\lambda, \lambda, 0)$. When $\pi_1$ is finitely generated, we classify the topology of such manifolds by showing that they have a free fundamental…

Manna and Waldinger's theory of substitutions and unification has been verified using the Cambridge LCF theorem prover. A proof of the monotonicity of substitution is presented in detail, as an example of interaction with LCF. Translating…

We prove the existence of a one-parameter family of pairwise non-isometric, complete, positively curved, steady generalized Ricci solitons of gradient type on $\mathbb{R}^3$ that are invariant under the natural cohomogeneity one action of…

We consider the inverse problem of the simultaneous identification of the coefficients $\sigma$ and $q$ of the equation div$(\sigma\nabla u) + qu=0$ from the knowledge of the complete Cauchy data pairs. We assume that $\sigma=\gamma A$…

We consider the classical molecular beam epitaxy (MBE) model with logarithmic type potential known as no-slope-selection. We employ a third order backward differentiation (BDF3) in time with implicit treatment of the surface diffusion term.…

We establish well-posedness for a class of systems of SDEs with non-Lipschitz coefficients in the diffusion and jump terms and with two sources of interdependence: a monotone function of all the components in the drift of each SDE and the…

Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key…

The question of how to certify the non-negativity of a polynomial function lies at the heart of Real Algebra and it also has important applications to Optimization. In the setting of symmetric polynomials Timofte provided a useful way of…

Levine has constructed motivic analogues of virtual fundamental classes, living in cohomology of Witt sheaves. We use this to define motivic Donaldson-Thomas invariants $\tilde{I}_n$ for $\mathbb{P}^3$ over $\mathbb{R}$. We show that for…

Motivated by the theory of proof complexity generators we consider the following $\Sigma^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $\pi$ of a disjunction $\bigvee_i {\alpha}_i$, no…