Related papers: Fermat's Last Theorem and Catalan's Conjecture in …

Following the famous proof of Fermat's Last Theorem by Andrew Wiles using the modularity of elliptic curves over $\mathbb{Q}$, significant developments have been made in the study of Diophantine equations using the modularity method. This…

We prove that if $\mathcal{A}$ is a $\sigma$-complete Boolean algebra in a model $V$ of set theory and $\mathbb{P}\in V$ is a proper forcing with the Laver property preserving the ground model reals non-meager, then every pointwise…

We propose formulas for the large $N$ expansion of the generating function of connected correlators of the $\beta$-deformed Gaussian and Wishart-Laguerre matrix models. We show that our proposal satisfies the known transformation properties…

Let F be a totally real number field of odd degree. We prove several purely local criteria for the asymptotic Fermat's Last Theorem to hold over F, and also for the non-existence of solutions to the unit equation over F. For example, if 2…

Assuming Schanuel's conjecture, we prove that the complete theory $T_{\exp}$ of the real exponential field is axiomatized by the axioms of definably complete exponential fields satisfying $\exp' = \exp$. This implies the result of Macintyre…

It is expected that Schanuel's Conjecture contains all ``reasonable" statements that can be made on the values of {\em the exponential function}. In particular it implies the Lindemann-Weierstrass Theorem and the Conjecture on algebraic…

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the…

The Frankl conjecture, also known as the union-closed sets conjecture, states that in any finite non-empty union-closed family, there exists an element in at least half of the sets. From an optimization point of view, one could instead…

In this paper we introduce a new method to produce lower bounds for the Waring rank of symmetric tensors. We also introduce the notion of $e$-computability and we use it to prove that Strassen's Conjecture holds in infinitely many new…

In this work, we consider a class of substitutions on infinite alphabets and show that they exhibit a growth behaviour which is impossible for substitutions on finite alphabets. While for both settings the leading term of the tile counting…

The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-with-predimension construction in the style of Hrushovski. The…

Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventually different set of permutations} of $\omega$. Such sets…

We show that $\mathbf{C}$, a weak theory of sets with Axiom Beta, proves the scheme of Elementary, or $\Delta_0$ Transfinite Recursion and can generate, for every set, the corresponding relativized constructible hierarchy. We show that the…

Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if,…

In this paper, we prove the existence of a bounded linear extension operator $T: L^{2,p}(E) \rightarrow L^{2,p}(\mathbb{R}^2)$ when $1<p<2$, where $E \subset \mathbb{R}^2$ is a certain discrete set with fractal structure. Our proof makes…

In a recent paper, Freitas and Siksek proved an asypmtotic version of Fermat's Last Theorem for many totally real fields. We prove an extension of their result to generalized Fermat equations of the form $A x^p+B y^p+ C z^p=0$, where $A$,…

We establish a necessary condition for pseudoprimality and a sufficient condition for primality of Fermat numbers, based on a congruence involving the exponent $(F_n-1)/4$. Moreover, in connection with P\'epin's primality test, we obtain a…

The ordinary continued fractions expansion of a real number is based on the Euclidean division. Variants of the latter yield variants of the former, all encompassed by a more general Dynamical Systems framework. For all these variants the…

Tate's theorem (Invent. Math. 1966)implies that the Tate conjecture holds for any abelian variety over a finite field whose Q_l-algebra of Tate classes is generated by those of degree 1. We construct families of abelian varieties over…