Related papers: Remark on Fermat's Last Theorem
We study Fermat's Last Theorem and Catalan's conjecture in the context of weak arithmetics with exponentiation. We deal with expansions (B,e) of models of arithmetical theories (in the language L=(0,1,+,x,<)) by a binary (partial or total)…
Let $K$ be a totally real number field. For all prime number $p\geq 5$, let us denote by $F_p$ the Fermat curve of equation $x^p+y^p+z^p=0$. Under the assumption that $2$ is totally ramified in $K$, we establish some results about the set…
We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…
Fermat's Last Theorem (FLT) implies that the Frey curves do not exist. A proof of FLT independent of proved Taniyama-Shimura-Weil conjecture is presented.
Assuming two deep but standard conjectures from the Langlands Programme, we prove that the asymptotic Fermat's Last Theorem holds for imaginary quadratic fields Q(\sqrt{-d}) with -d=2, 3 mod 4. For a general number field K, again assuming…
We give a sufficient and necessary condition for a p-adic integer to have p-th root in the ring of p-adic integers. The same condition holds clearly for residues modulo p^k. We give a proof that Fermat's last theorem is false for p-adic…
We prove Fermat's Last Theorem over ${\mathbb Q}(\sqrt{5})$ and ${\mathbb Q}(\sqrt{17})$ for prime exponents $p \ge 5$ in certain congruence classes modulo $48$ by using a combination of the modular method and Brauer-Manin obstructions…
This article examines the formula G (of Goedel). We demonstrated that the Goedel's number of the formula G is not a finite number if (i) G is comprehended as a self-referential statement or (ii) there is an infinite set S of well-formed…
In a recent work the authors prove the effective asymptotic Fermat's Last Theorem for the infinite family of fields $\mathbb{Q}(\zeta_{2^{r+2}})^+$ where $r \ge 0$. A crucial step in their proof is the following conjecture of Kraus. Let $K$…
From some works of P. Furtw\"angler and H.S. Vandiver, we put the basis of a new cyclotomic approach to Fermat's last theorem for p>3 and to a stronger version called SFLT, by introducing governing fields of the form Q(exp(2 i pi/q-1)) for…
We formulate an exponential Diophantine equation, which is is some sense one order higher that Fermat's Last Theorem. We also give three examples of solutions to this exponential Diophantine equation and formulate a conjecture.
A very short proof of G\"odel's second incompleteness theorem (for set theory, second order arithmetic etc.)
In this expository article we provide an elegant proof of the one-sided Ingham-Karamata Tauberian theorem. As an application, we present a short deduction of the prime number theorem.
Let $p \ge 5$ be a prime and let $\mathbb{Q}_{n,p}$ denote the $n$-th layer of the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. We show that $\mathbb{Q}_{n,p}$ has no exceptional units. We use this to prove the effective asymptotic…
The two squares theorem of Fermat is a gem in number theory, with a spectacular one-sentence "proof from the Book". Here is a formalisation of this proof, with an interpretation using windmill patterns. The theory behind involves…
In this short paper we review and extract some features of the Fredholm Alternative problem .
We prove that any finite set of real numbers can be split into two parts, one part being highly non-additive and the other highly non-multiplicative.
We give a new sufficient condition which allows to test primality of Fermat's numbers. This characterization uses uniquely values at most equal to tested Fermat number. The robustness of this result is due to a strict use of elementary…
In this paper we present a surprisingly short proof of Minkowski's second theorem. The author hopes there is no mistake in it, though the argument seems to be too plain to contain one. Also, we apply the main construction of the proof to…
This article deals with a conjecture, introduced in [GQ] (hereinafter $SFLT2$), which generalizes the second case of Fermat's Last Theorem: {\it Let $p>3$ be a prime. The diophantine equation $\frac{u^p+v^p}{u+v}=w_1^p$ with $u,v,u+v,…