Related papers: ${\Sigma}^0_3$ determinacy and ${\mathbf{\Pi}}^1_2…
The monotonicity of discrete Laplacian, i.e., inverse positivity of stiffness matrix, implies discrete maximum principle, which is in general not true for high order accurate schemes on unstructured meshes. On the other hand, it is possible…
Motivated by open questions in the papers " Refinements and sharpenings of some double inequalities for bounding the gamma function" and "Complete monotonicity and monotonicity of two functions defined by two derivatives of a function…
The validity of the Haldane's conjecture entails that the mass gap of the 2-dimensional O(3) non-linear sigma model with a $\theta$-term must tend to zero as $\theta$ approaches the value $\pi$ by following a precise law. In the present…
Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing…
In this paper we prove that, under an explicit integral pinching assumption between the $L^2$-norm of the Ricci curvature and the $L^2$-norm of the scalar curvature, a closed 3-manifold with positive scalar curvature admits an Einstein…
In this paper, we give the full proof of a conjecture of R.Hamilton that for $(M^3, g)$ being a complete Riemannian 3-manifold with bounded curvature and with the Ricci pinching condition $Rc\geq \ep R g$, where $R>0$ is the positive scalar…
We show that all self-maps of non-zero degree of $3$-manifolds not covered by $S^3$ and of Thurston geometric $4$-manifolds and their connected sums not covered by $N\#(\#_{p\geq0}S^2\times S^2)\#(\#_{q\geq0}\mathbb C P^2)$, where $N$ is an…
We describe a construction of a model of second order arithmetic in which (boldface) $\bm{\Pi^1_n}$-determinacy holds, but (lightface) $\Pi^1_{n+2}$-$\mathsf{DC}$ fails, thus showing that no projective level of determinacy implies full…
We prove an L^2-estimate involving Ricci curvature and a harmonic 1-form on a closed oriented Riemannian 3-manifold admitting a solution of any rescaled Seiberg-Witten equations. We also give a necessary condition to be a monopole class on…
Let $F_{p}(x) =L( t^{p}f(t)) =\int_{0}^{\infty }t^{p}f(t) e^{-xt}dt$ converge on $(0,\infty)$ for $p\in \mathbb{N}_{0}=\mathbb{N}\cup{0}$, where $f(t)$ is positive on $(0,\infty)$. In a recent paper [Z.-H. Yang, A complete monotonicity…
In this paper we obtain an analogue of Toponogov theorem in dimension 3 for compact manifolds $M^3$ with nonnegative Ricci curvature and strictly convex boundary $\partial M$. Here we obtain a sharp upper bound for the length…
We introduce the notion of induced automorphisms in order to state a criterion to determine whether a given automorphism on a manifold of $K3^{[n]}$ type is, in fact, induced by an automorphism of a $K3$ surface and the manifold is a moduli…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…
We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…
$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure…
In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…
Given a connected 2-complex X with fundamental group G, we show how pi_3(X) may be computed as a module over Z[G]. Further we show that if X is a finite connected 2-complex with G (the fundamental group) finite of odd order, then the stable…
Formal reasoning about inductively defined relations and structures is widely recognized not only for its mathematical interest but also for its importance in computer science, and has applications in verifying properties of programs and…
Let $\psi(x)$ be the di-gamma function, the logarithmic derivative of the classical Euler's gamma function $\Gamma(x)$. In the paper, the author shows that the completely monotonic degree of the function $[\psi'(x)]^2+\psi''(x)$ is $4$,…
In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…