Related papers: Short proof of the Gallai-Edmonds Structure Theore…

Using Easton collapses, we give a simplified construction of a model in which Chang's Conjecture for triples holds.

This proof of Godel's first incompleteness theorem doesn't require omega-consistency, nor does it refer to codes of negated sentences as in Rosser's. It begins from where Godel's usual proof ends, and stalks it till it ends proving it.

An observation on Hall-Littlewood polynomials.

For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we…

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of…

We produce a new, shorter construction of a minor-universal planar graph.

Let k be a field of characteristic p>0. A theorem of de Jong shows that morphisms of modules over W(k)[[t]] with Frobenius and connection structure descend from the completion of W(k)((t)). A careful reading of de Jong's proof suggests the…

The following paper follows on from work by Kamae, and gives a rigorous proof of the Ergodic Theorem, using nonstandard analysis.

We use Hodge theory to prove a new upper bound on the ranks of Mordell-Weil groups for elliptic curves over function fields after regular geometrically Galois extensions of the base field, improving on previous results of Silverman and…

A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired…

We verify the spiral minimal product structure through the Takahashi Theorem with full computational details which were omitted in [LZ].

A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order…

In this paper we prove a relative version of the classical Mumford-Newstead theorem for a family of smooth curves degenerating to a reducible curve with a simple node. We also prove a Torelli-type theorem by showing that certain moduli…

We give a brief historical overview of the famous Pythagoras' theorem and Pythagoras. We present a simple proof of the result and dicsuss some extensions. We follow \cite{thales}, \cite{wiki} and \cite{wiki2} for the historical comments and…

We introduce the existence of a Genus-Type Theory that generalizes classical genus theory by linking fractional ideals of number fields to structures built from their Galois groups and associated Diophantine equations, as formally stated in…

The famous Gallai's Conjecture states that any connected graph with n vertices has a path decomposition containing at most (n+1)/2 paths. In this note, we explore graphs generated from removing edges from complete graphs. We first provide…

We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan…

We establish a simple generalization for the famous theorem of Morley about trisectors in triangle with a purely synthetic proof using only angle chasing and similar triangles. Furthermore, based on the converse construction, another simple…

In this paper we prove the WALA conjecture.

We give a short and self-contained proof of Levi's Extension Lemma for pseudoline arrangements.