Related papers: Indiscernible extraction and Morley sequences

We show that only a rather small proportion of linear equations are solvable in elements of a fixed finitely generated subgroup of a multiplicative group of a number field. The argument is based on modular techniques combined with a…

In this note we present a new short and direct proof of L\'{e}vy's continuity theorem in arbitrary dimension $d$, which does not rely on Prohorov's theorem, Helly's selection theorem or the uniqueness theorem for characteristic functions.…

Recently a new proof was given for Beurling's Ingham type theorem on one-dimensional nonharmonic Fourier series, providing explicit constants. We improve this result by applying a short elementary method instead of the previous complex…

Empirical properties of generating systems for complex reflection groups and their braid groups have been observed by Orlik-Solomon and Brou\'e-Malle-Rouquier, using Shephard-Todd classification. We give a general existence result for…

We extend some sharp inequalities for martingale-differences to general multiplicative systems of random variables. The key ingredient in the proofs is a technique reducing the general case to the case of Rademacher random variables without…

We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…

Sequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g. linear integer arithmetic). Sequences are natural abstractions of extendable arrays, which…

The cut-elimination procedure for the provability logic is known to be problematic: a L\"ob-like rule keeps cut-formulae intact on reduction, even in the principal case, thereby complicating the proof of termination. In this paper, we…

We verify the inductive McKay condition for simple groups of Lie type C, namely finite projective symplectic groups. This contributes to the program of a complete proof of the McKay conjecture for all finite groups via the reduction theorem…

Borcherds algebras represent a new class of Lie algebras which have almost all the properties that ordinary Kac-Moody algebras have, and the only major difference is that these generalized Kac-Moody algebras are allowed to have imaginary…

Approximation theory has long been concerned with the development of positive linear operators that effectively approximate classes of functions. Among the most well-known results in this area are Korovkin-type approximation theorems, which…

We show that, in characteristic zero, the obvious integral version of the Grothendieck-Riemann-Roch formula obtained by clearing the denominators of the Todd and Chern characters is true (without having to divide the Chow groups by their…

We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.

We extend a dichotomy between 1-basedness and supersimplicity proved in a previous paper. The generalization we get is to arbitrary language, with no restrictions on the topology (we do not demand type-definabilty of the open set in the…

We construct an equivariant version of discrete Morse theory for simplicial complexes endowed with group actions. The key ingredient is a 2-categorical criterion for making acyclic partial matchings on the quotient space compatible with an…

We obtain a system of relations between linear Hodge integrals. As an application, we show that its first non-trivial relation implies the Witten's Conjecture/Kontsevich Theorem.

As an alternative to the well-known methods of "chaining" and "bracketing" that have been developed in the study of random fields, a new method, which is based on a stochastic maximal inequality derived by using the Taylor expansion, is…

In this note, we show that the free generators of the Mishchenko-Fomenko subalgebra of a complex reductive Lie algebra, constructed by the argument shift method at a regular element, form a regular sequence. This result was proven by Serge…

In his proof of the fundamental lemma, Ng\^o established the product formula for the Hitchin fibration over the anisotropic locus. One expects this formula over the larger generically regular semisimple locus, and we confirm this by…

The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the…