Related papers: Corrections to {\it Uniformity of rational points}…

We fill in a gap in the proof of the main theorem in our earlier paper [Ol]. At the same time, we prove a slightly stronger version of the theorem needed for another paper.

Some mistaken reasonings at the end of the paper omitted.

It has been pointed out to the author by David Glickenstein that the proof of the (closely related) Lemmas 1.2 and 3.2 in the title paper is incorrect. The statements of both Lemmas are correct, and the purpose of this note is to give a…

We improve the arithmetic duality formalism of the rational etale site. This improvement allows us to avoid some exotic approximation arguments on local fields with ind-rational base, thus simplifying the proofs of the previously…

In this note, the correction to the proof of one theorem in some our previous paper [arXiv:1302.0589] will be given.

We give an elementary proof of a recent result by Fishman, Kleinbock, Merrill and Simmons about rational points on quadratic surfaces.

We correct an inaccuracy in the original proof

In this small article, unified first law has been analyzed and some results have been deduced from it. The results have been presented in the form of lemmas and some conclusions have been drawn from them.

This version corrects a number of mistakes that appeared in the previous draft. In particular, the (EU-LREM) condition is sufficient for existence and uniqueness but not necessary, as we had claimed. We are grateful to P. C. B. Phillips and…

This article corrects two mistakes in the article "Coarse homology theories" [math.AT/0106183].

Due to the omission of a hypothesis from an elementary lemma in the author's paper "Gleason parts and point derivations for uniform algebras with dense invertible group", some of the proofs presented in that paper are flawed. We prove here…

The aim of this paper is to give a proof of improving of Zalcman's lemma.

The result in theorem 2.1 has been strengthened (see theorem 2.3) and the remarks in the introduction and the text adapted to this new result. Also some misprints in the previous version have been corrected.

Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of math.QA/0504420 contains an error. In this note I give a correct proof of this lemma which was suggested to me by Dmitry Tamarkin. The correction does not change the results…

Mathematical theorem proving is an important testbed for large language models' deep and abstract reasoning capability. This paper focuses on improving LLMs' ability to write proofs in formal languages that permit automated proof…

In this note, we correct an oversight from the paper mentioned in the title.

This very short correction notes a gap in an argument of an earlier paper, and also provides a theorem of similar flavor to the main result of that paper.

We ask questions generalizing uniform versions of conjectures of Mordell and Lang and combining them with the Morton--Silverman conjecture on preperiodic points. We prove a few results relating different versions of such questions.

In this new version, we correct some typos. For the readers' convenience, we also added some footnotes and more details for certain lemmas and theorems.

Here we give a reformulation of a key lemma in the paper [2], "Spaces of Topological Complexity One", which is necessary due to an oversight.