English
Related papers

Related papers: Correction to: Reductions to simple fusion systems

200 papers

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…

Combinatorics · Mathematics 2016-03-04 Francesco Marigo , Davide Schipani

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…

Number Theory · Mathematics 2022-05-04 Luis Victor Dieulefait , Ariel Martín Pacetti

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.

Number Theory · Mathematics 2012-09-25 Luis Dieulefait , Toby Gee

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.

Combinatorics · Mathematics 2007-05-23 Johann Cigler

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…

Logic in Computer Science · Computer Science 2022-08-16 Yasha Savelyev

The paper gives a unified and simple proof of both theorems and Cousin's theorem.

History and Overview · Mathematics 2022-09-27 Claude-Alain Faure

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…

Logic in Computer Science · Computer Science 2023-06-02 Gilles Dowek

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.

Formal Languages and Automata Theory · Computer Science 2022-09-16 Michiel de Bondt

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…

Representation Theory · Mathematics 2009-10-27 Thomas J. Haines

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.

Representation Theory · Mathematics 2014-01-21 Sejong Park

This paper has been withdrawn by the author due to a gap in the proof of the main result.

Functional Analysis · Mathematics 2007-05-23 Irina Kmit

Some symmetry problems are formulated and solved. New simple proofs are given for the earlier studied symmetry problems.

Classical Analysis and ODEs · Mathematics 2009-03-04 N. S. Hoang , A. G. Ramm

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.

Category Theory · Mathematics 2025-06-05 Vladimir Hinich

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

Algebraic Topology · Mathematics 2010-07-09 John R. Klein , Bruce Williams

An technically interesting proof of a known theorem.

Analysis of PDEs · Mathematics 2007-05-23 Andreas Wannebo

We prove an improved form of an expectation of Polya and discuss several related questions

Number Theory · Mathematics 2025-12-02 Umberto Zannier

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…

Statistical Mechanics · Physics 2007-05-23 Daniel C. Hong , Paul V. Quinn , Stefan Luding

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…

High Energy Physics - Phenomenology · Physics 2010-01-18 A. P. Contogouris , G. Grispos

There is an error in the proof of Proposition 3.7. Proposition 3.7 is needed for the proof of the main theorem.

Differential Geometry · Mathematics 2013-02-25 David Fisher

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…

Functional Analysis · Mathematics 2009-10-21 M. D. Voisei