Related papers: An inductive proof of the Feinstein-Heath Swiss ch…
Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF. The proof builds upon a previous mechanization of the reflection theorem. The heavy reliance on metatheory in the original proof makes the…
The theory of lifting classes and the Reidemeister number of single-valued maps of a finite polyhedron $X$ is extended to $n$-valued maps by replacing liftings to universal covering spaces by liftings with codomain an orbit configuration…
In 1987, Yomdin proved a lemma on smooth parametrizations of semialgebraic sets as part of his solution of Shub's entropy conjecture for $C^\infty$ maps. The statement was further refined by Gromov, producing what is now known as the…
Bauer and Itzykson showed that associated to each labeled map embedded on an oriented Riemann surface there was a group generated by a pair of permutations. From this result an algorithm may be constructed for enumerating labeled maps, and…
The Steinitz exchange lemma is a basic theorem in linear algebra used, for example, to show that any two bases for a finite-dimensional vector space have the same number of elements. The result is named after the German mathematician Ernst…
The well-known Reifenberg theorem states that if a subset of $\mathbb{R}^n$ can be well approximated by $k$-planes at every point and every scale, then it is biH\"older homeomorphic to a $k$-disk. This article concerns a subset $S$ of…
What conditions ensure that a graph G contains some given spanning subgraph H? The most famous examples of results of this kind are probably Dirac's theorem on Hamilton cycles and Tutte's theorem on perfect matchings. Perfect matchings are…
We prove a Simons-type holonomy theorem for totally skew 1-forms with values in a Lie algebra of linear isometries. The only transitive case, for this theorem, is the full orthogonal group. We only use geometric methods and we do not use…
Local properties of the fundamental group of a path-connected topological space can pose obstructions to the applicability of covering space theory. A generalized covering map is a generalization of the classical notion of covering map…
We establish a fixed-point theorem for the face maps that consist in deleting the $i$th entry of an ordered set. Furthermore, we show that there exists random finite sets of integers that are almost invariant under such deletions.…
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their…
In the metric spaces, we give some equivalent condition of intrinsically Lipschitz maps introduce by Franchi, Serapioni and Serra Cassano in subRiemannian Carnot groups. Unlike what happens in the Carnot groups, in our context intrinsic…
We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orr\'u, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a…
Two years ago, Conlon and Gowers, and Schacht proved general theorems that allow one to transfer a large class of extremal combinatorial results from the deterministic to the probabilistic setting. Even though the two papers solve the same…
A celebrated theorem in Real Algebraic and Analytic Geometry (originally due to Bruhat-Cartan and Wallace and stated later in its current form by Milnor) is the (Nash) curve selection lemma. It states that each point in the closure of a…
Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on…
The Mullineux involution is an important map on $p$-regular partitions that originates from the modular representation theory of $\mathcal{S}_n$. In this paper we study the Mullineux transpose map and the generalized column regularization…
We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…
The nonlinear concepts of mixed summable families and maps for the spaces that only non-void sets are developed. Several characterizations of the corresponding concepts are achieved and the proof for a general Pietsch Domination-type…