Related papers: Correction to: Reductions to simple fusion systems
First a few reformulations of Frankl's conjecture are given, in terms of reduced families or matrices, or analogously in terms of lattices. These lead naturally to a stronger conjecture with a neat formulation which might be easier to…
The purpose of this short note is to present a simplified proof of Serre's modularity conjecture using the strong modularity lifting results currently available. This second version includes extra details on definitions and proofs than the…
We prove a slight generalization of Theorem 4.2.1 of [BLGGT10], which weakens the assumption that $l\ge 2(n+1)$ to an adequacy hypothesis.
Modifying an idea of E. Brietzke we give simple proofs for the recurrence relations of some sequences of binomial sums which have previously been obtained by other more complicated methods.
We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably…
The paper gives a unified and simple proof of both theorems and Cousin's theorem.
Combining a standard proof search method, such as resolution or tableaux, and rewriting is a powerful way to cut off search space in automated theorem proving, but proving the completeness of such combined methods may be challenging. It may…
We give a short proof of a theorem of J.-E. Pin (theorem 1.1 below), which can be found in his thesis. The part of the proof which is my own (not Pin's) is a complete replacement of the same part in an earlier version of this paper.
This note corrects a minor misstatement in section 2 of the paper in the title (arXiv:0808.3426). It also addresses some related issues. The error does not affect the main results of that paper, but nevertheless this corrigendum seems…
We state and prove a fusion system version of Mislin's theorem \cite{Mislin1990} on cohomology and control of fusion, following Symonds's proof \cite{Symonds2004} of Mislin's theorem using Mackey functors.
This paper has been withdrawn by the author due to a gap in the proof of the main result.
Some symmetry problems are formulated and solved. New simple proofs are given for the earlier studied symmetry problems.
We present a proof of the formula (given in Lurie's Higher Algebra) for the operad governing diagrams of operad algebras. We believe that our proof corrects a flaw in the original argument. 2nd version: a corrected proof given.
We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.
An technically interesting proof of a known theorem.
We prove an improved form of an expectation of Polya and discuss several related questions
We find it absurd that Walliser [1] essentially used the same analysis and obtained identical results as reported in [3], yet arrived at different conclusions. Namely, based on an incomplete theory and using erroneous arguments, he not only…
For processes involving structure functions and/or fragmentation functions, arguments that there is a part that dominates the NLO corrections are briefly reviewed. The arguments are tested against more recent NLO and in particular NNLO…
There is an error in the proof of Proposition 3.7. Proposition 3.7 is needed for the proof of the main theorem.
On [3, p. 199] one says "We mention parenthetically that the proof of [99, Lemma 41.3] is incorrect, and we do not know whether it, [99, Theorem 41.5] and [99, Theorem 41.6] are true". The previously cited reference [99] is our reference…