Related papers: Indiscernible extraction and Morley sequences
The main aim of this paper is to promote a certain style of doing coinductive proofs, similar to inductive proofs as commonly done by mathematicians. For this purpose, we provide a reasonably direct justification for coinductive proofs…
The classical Arzela-Ascoli theorem is a compactness result for families of functions depending on bounds on the derivatives of the functions, and is of invaluable use in many fields of mathemathics. In this paper, inspired by a result of…
We use multiplication maps to give a characteristic-free approach to vanishing theorems on toric varieties. Our approach is very elementary but is enough powerful to prove vanishing theorems.
In light of a gap found by Krupi\'{n}ski, we give a new proof of associativity for the Morley (or "nonforking") product of invariant measures in NIP theories.
Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to…
We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that…
We give a new proof of the Krohn-Rhodes Theorem using local divisors. The proof provides nearly as good a decomposition in terms of size as the holonomy decomposition of Eilenberg, avoids induction on the size of the state set, and works…
In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…
We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a…
We present an extremely elementary construction of the simple Lie algebras over the complex numbers in all of their minuscule representations, using the vertices of various polytopes. The construction itself requires no complicated…
New splitting theorems in a semi-Riemannian manifold which admits an irrotational vector field (not necessarily a gradient) with some suitable properties are obtained. According to the extras hypothesis assumed on the vector field, we can…
A conjecture of Erd\H{o}s states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for…
We present the theory of special relativity here through the lens of differential geometry. In particular, we explicitly avoid any reference to hypotheses of the form "The laws of physics take the same form in all inertial reference frames"…
We show that the group cohomology of torsion-free virtually polycyclic groups and the continuous cohomology of simply connected solvable Lie groups can be computed by the rational cohomology of algebraic groups. Our results are…
We give a simple short proof of Brooks' theorem using only induction and greedy coloring, while avoiding issues of graph connectivity. The argument generalizes easily to some extensions of Brooks' theorem, including its variants for list…
The article provides a modest survey of the absolute theory of general systems of (partial) differential equations. The equations are relieved of all additional structures and subject to quite arbitrary change of the variables. An abstract…
We introduce the notion of fully simple maps, which are maps with non self-intersecting disjoint boundaries. In contrast, maps where such a restriction is not imposed are called ordinary. We study in detail the combinatorics of fully simple…
We develop the global moduli theory of symplectic varieties in the sense of Beauville. We prove a number of analogs of classical results from the smooth case, including a global Torelli theorem. In particular, this yields a new proof of…
We prove a logarithmic convexity result for exponentially weighted $L^2$-norms of solutions to electromagnetic Schr\"odinger equation, without needing to assume smallness of the magnetic potential. As a consequence, we can prove a unique…
In [2], N.Dutertre and T. Fukui used Viro's integral calculus to study the topology of stable maps $f:M\rightarrow N$ between two smooth manifolds $M$ and $N$. They also discussed several applications to Morin maps. In particular, in…