Related papers: A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$

We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules that fits in an abstract elementary class…

We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and…

In this paper we propose a new approach for developing a proof that P=NP. We propose to use a polynomial-time reduction of a NP-complete problem to Linear Programming. Earlier such attempts used polynomial-time transformation which is a…

This article generalizes the result of Katzarkov and Ramachandran from algebraic surfaces to K\"ahler surfaces. We follow their argument to prove the holomorphic convexity of a reductive Galois covering over a compact K\"ahler surface which…

Using proof-theoretical techniques, we analyze a proof by H.-K. Xu regarding a result of strong convergence for the Halpern type proximal point algorithm. We obtain a rate of metastability (in the sense of T. Tao) and also a rate of…

In this paper we study an elliptic variational problem regarding the $p$-fractional Laplacian in $\mathbb{R}^N$ on the basis of recent result \cite{Ha1}, which generalizes the nice work \cite{AT,AP,XZR1}, and then give some sufficient…

In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This…

We consider the stochastic continuity equation associated to an It\^{o} diffusion with irregular drift and diffusion coefficients. We give regularity conditions under which weak solutions are renormalized in the sense of DiPerna/Lions, and…

We prove Fujita's spectrum conjecture on the discreteness of pseudo-effective thresholds for polarized varieties.

Given a Z_p-linear local system over a smooth rigid space, we show that it is crystalline (resp. semi-stable) with respect to any smooth (resp. semi-stable) integral model if and only if its restrictions at many classical points are…

We compare flat cohomology with crystalline syntomic complexes in two cases: 1) $p$-divisible groups over a separated $\mathbb F_p$-scheme with local finite $p$-bases, 2) semi-abelian schemes over a separated irreducible smooth curve.

In this work, we extend the solid harmonics derivation, which was used by Ackroyd et al to derive the steady-state SP$_N$ equations, to transient problems. The derivation expands the angular flux in ordinary surface harmonics but uses…

Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…

We prove an interpolation theorem for nonlinear functionals defined on scales of Banach spaces that generalize Besov spaces. It applies to functionals defined only locally, requiring only some weak Lipschitz conditions, extending those…

We study the affine analogue $\mathrm{FT}_p(\mathfrak{sl}_2)$ of the triplet algebra. We show that $\mathrm{FT}_p(\mathfrak{sl}_2)$ is quasi-lisse and the associated variety is the nilpotent cone of $\mathfrak{sl}_2$. We realize…

The aim of this study is to prove analytically that synchronization of a piece-wise continuous class of systems of fractional order can be achieved. Based on our knowledge, there are no numerical methods to integrate differential equations…

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

We answer a question from Raghavan and Stepr{\=a}ns' paper on weakly tight families by showing that $\mathfrak{s} = {\mathfrak{s}}_{\omega, \omega}$. Then we use this to construct a completely separable maximal almost disjoint family under…

We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets…

The main aim of the present paper is to represent an exact and simple proof for FLT by using properties of the algebra identities and linear algebra.