Related papers: The Kropholler Conjecture
I present the proof of Goedel's First Incompleteness theorem in an intuitive manner, while covering all technically challenging steps. I present generalizations of Goedel's fixed point lemma to two-sentence and multi-sentence versions,…
In this short survey article, we aim to provide an up to date information on the progress made towards Schurs exponent conjecture and related conjectures. We also mention the connection between Schurs exponent conjecture and Noether's…
We point out that a concise proof of Theorem 2 in the article, 'On a quadratic estimate of Shafer' by L. Zhu contains a small mistake. Correcting this mistake and giving alternative proofs of Theorem 2 is the main aim of this note.
We review our construction of the Teichm\"uller TQFT. We recall our volume conjecture for this TQFT and the examples for which this conjecture has been established. We end the paper with a brief review of our new formulation of the…
A short, fairly self-contained proof is given of the Poincar\'e Conjecture. In the previous version there was an error on Page 8. This gap has now been filled.
This paper has been withdrawn by the author because Conjecture 1 is false. Please see arXiv:0901.2093 for a justification that Conjecture 1 is false. The other main results are also available from the above URL.
In this article, we give proofs on the Arnold Lagrangian intersection conjecture on the cotangent bundles, Arnold-Givental Lagrangian intersection conjecture and the Arnold fixed point conjecture.
When a proposition has no proof in an inference system, it is sometimes useful to build a counter-proof explaining, step by step, the reason of this non-provability. In general, this counter-proof is a (possibly) infinite co-inductive proof…
The proof of Theorem 11 of the paper M. Scheepers, Remarks on countable tightness, Topology and its Applications 161 (2014), 407 - 432 relies on Lemma 10 of that paper. The offered proof of Lemma 10 had shortcomings, and I was recently…
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…
We describe an error in the proof of a key proposition, which was necessary for the proof of the main result. Alternate proofs of the main result are given by Ozsvath-Stipsicz-Szabo and Dai-Hom-Stoffregen-Truong.
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…
Based on the results people have obtained, we try to prove the Jacobian conjecture, but there is a gap in the proof.
We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…
We present a proof of the Chevalley-Weil Theorem that is somewhat different from the proofs appearing in the literature and with somewhat weaker hypotheses, of purely topological type. We also provide a discussion of the assumptions, and an…
In this paper we give a short, elementary proof of the following too extreme cases of the Leopoldt conjecture: the case when $\K/\Q$ is a solvable extension and the case when it is a totally real extension in which $p$ splits completely.…
In this paper we discuss contrastive explanations for formal argumentation - the question why a certain argument (the fact) can be accepted, whilst another argument (the foil) cannot be accepted under various extension-based semantics. The…
We withdraw this paper due to insufficient arguments in the derivation of Theorem 1. See quant-ph/0005062 for the new paper
We provide a proof of a variant of the Landau-Siegel Zeros conjecture.
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.