Related papers: The Kropholler Conjecture
In this short note we give counterexamples to several results related to extension theorems published recently.
Over one year ago, a very long preprint posted on arXiv [arXiv:1709.03771] and HAL announced a proof of Lehmer's Conjecture (and of other related results). Unfortunately, as was remarked by several specialists, this proof contains a (at…
The prevalent interpretation of G\"odel's Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear how to justify this informal reading, as the formulation of…
In this paper, we give a simple counter example to the famous Hodge conjecture.
The following is a concise exposition of the conjecture and three of its proofs for the case of positive entropy by D. Rudolph [22] , B. Host [14] and W. Parry [21]. A simpler theorem of R. Lyons [19] - preceding them - is also presented…
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)
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.
Reinhardt's conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite…
Following suggestions of T. H. Koornwinder, we give a new proof of Kummer's theorem involving Zeilberger's algorithm, the WZ method and asymptotic estimates. In the first section, we recall a classical proof given by L. J. Slater. The…
We present a solution of Exercise 1.2.1 of [2] which yields a short new proof of a key step in one of proofs of Brouwer's fixed point theorem, 1910. A few people asked the author about the details of the solution and they might be…
Approximations to the Kruskal-Katona theorem are stated and proven. These approximations are weaker than the theorem, but much easier to work with numerically.
In this new version, we add the proof of the main theorem when the central fiber is not necessarily simple normal crossing. We also correct some typos.
In this paper, we give a detailed account of Goldfeld's proof of Siegel's theorem. Particularly, we present complete proofs of the nontrivial assumptions made in his paper.
These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…
We reformulate, in the context of continuous logic, an oscillation theorem originally proved by G. Hjorth. We give a proof of the theorem in that setting which is similar to, but simpler than, Hjorth's original one. The point of view…
The paper presents a counterexample to the Hodge conjecture.
In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…
In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].
A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled…
This is a revision of my original posting, in which I raised objections to part of the Conway-Kochen argument. I now agree with them that their recent reply answers my original concerns. In the first part of these notes (identical to the…