相关论文: Corrigendum to "Weak Approximations for Wiener Fun…

Section 1.3 was incorrect, and 2.1 will be removed from further submissions. A rewritten version will be posted in the future.

As recently pointed out by Gabe, a fundamental paper by Elliott and Kucerovsky concerning the absorption theory for C*-algebras contains an error, and as a consequence we must report that Lemma 4.5 in "Classifying C*-algebras with both…

After carefully studying the comment by Wang et al. (arXiv:1408.6420), we found it includes several mistakes and unjustified statements and Wang et al. lack very basic knowledge of dislocations. Moreover, there is clear evidence indicating…

This paper is withdrawn because of an error in Lemma 3.1

It was pointed out to us that the proof of a crucial lemma (Lemma 5.3) in the paper is incorrect. Thus the approximation theorem (Theorem 0.1) for L^2 torsion of an amenable covering of a finite simplicial complex remains unproved. However,…

This is an appendix to our paper "An update of the Hirsch Conjecture" (arXiv:0907.1186), containing proofs of some of the results and comments that were omitted in it.

The purpose of this erratum is to correct a mistake in the proof of Theorem 4.1 of our paper \cite{CF}.

We discuss the (twisted) weak positivity theorem. We also treat some applications.

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…

John Morgan and G,Tian pointed out a mistake in the concluding argument for our paper entitled "$C_1$ in [2] is zero", which was recently published in arXiv:1512.02098. We hereby acknowledge this mistake and correct the computation, leading…

This is an erratum to math.AG/9803126, Tohoku 51 (1999) 489-537. This erratum describes: 1. the failure of the algorithm in [AMR] and [Morelli1] for the strong factorization pointed out by Kalle Karu, 2. the statement of a refined weak…

In this note, we provide critical commentary on two articles that cast doubt on the validity and implications of Birnbaum's theorem: Evans (2013) and Mayo (2014). In our view, the proof is correct and the consequences of the theorem are…

This paper has been withdrawn by the authors due to a mistake in the proof of the chief result. In particular Theorem 1.3 is correct, while Theorem 1.1 and Theorem 1.2 hold with \mu>0 and a suitable restriction on the exponent p. The proof…

A correction is brought to the opinion expressed in a previous note published in this journal that the off critical line points indicated by some authors as being non trivial zeros of the Davenport and Heilbronn function are affected of…

In 1998, Bou\'e and Dupuis proved a variational representation for exponentials of bounded Wiener functionals. Since their proof involves arguments related to the weak convergence of probability measures, the boundedness of functionals…

Claims by Kroha and Zawadowski in cond-mat/0105026 on inadequate approximations and an incorrect statement in cond-mat/0102150 are shown to be based on oversimplified estimates and a false quotation.

For which choices of $X,Y,Z\in\{\Sigma^1_1,\Pi^1_1\}$ does no sufficiently strong $X$-sound and $Y$-definable extension theory prove its own $Z$-soundness? We give a complete answer, thereby delimiting the generalizations of G\"odel's…

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.

This paper has been withdrawn due to a error in Theorem 3.1.

A constructive proof of the Goedel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is formalized. A development of primitive recursive…