相关论文: On Galvin's lemma and Ramsey spaces

We prove some results on the border of Ramsey theory (finite partition calculus) and model theory. Also a beginning of classification theory of finite models in undertaken.

The aim of this note is to give a simplified proof of the induced version of the Ramsey theorem for vector spaces first proved by H. J. Pr\"{o}mel.

We show that although the Galvin-Prikry Theorem does not hold on generalized Baire space with the standard topology, there are similar theorems which do hold on generalized Baire space with certain coarser topologies.

We extend Hadamard's Lemma to the setting of a separable Hilbert space.

Ramsey algebras is an attempt to investigate Ramsey spaces generated by algebras in a purely combinatorial fashion. Previous studies have focused on the basic properties of Ramsey algebras and the study of a few specific examples. In this…

We show a short proof of Higman's lemma using Friedman's adjacent Ramsey theorem for pairs. This provides an alternative proof of the known upper bound for the reverse mathematical status of Higman's lemma and that of its miniaturised…

We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…

Carlson introduced the notion of a Ramsey space as a generalization to the Ellentuck space. When a Ramsey space is induced by an algebra, Carlson suggested a study of its purely combinatorial version now called Ramsey algebra. Some basic…

A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.

We state and prove a Lemma in 1 variable Calculus, that justifies some arguments previously used to ilustrate non-uniqueness of some generalized physical quantities.

We study extensions and generalizations of the Schmidt Subspace Theorem in various settings. In particular, we prove results for algebraic points of bounded degree, giving a sharp version of Schmidt's theorem for quadratic points in the…

We prove a generalization of the infinite quantum Ramsey theorem of Kennedy et al. (arXiv:1711.09526), showing that it follows from an archetypical "selective" pattern satisfied by certain families of projections in an infinite-dimensional…

We present a new, category theoretic point of view on finite Ramsey theory. Our aims are as follows: -- to define the category theoretic notions needed for the development of finite Ramsey Theory, -- to state, in terms of these notions, the…

We first generalize a curve selection lemma for Noetherian schemes and apply it to prove a version of Curve Selection Lemma in arc spaces, answering affirmatively a question by Reguera. Furthermore, thanks to a structure theorem of…

The Brezis - Lieb spaces, in which Brezis - Lieb's lemma holds true for nets, are introduced and studied. An operator version of Brezis - Lieb's lemma is also investigated.

The converse of Fortin's Lemma in Banach spaces is established in this Note.

We prove a variation of Gronwall's lemma.

We revise a proof of a Mazur-Ulam theorem for generalized gyrovector spaces.

We give an elementary proof of an efficient version of the Wagner's theorem on almost invariant subspaces and deduce some consequences in the context of Galois extensions.

We extend Szemeredi's Regularity Lemma (SRL) to abstract measure spaces. Our main aim is to find general conditions under which the original proof of Szemeredi still works. To illustrate that our approach has some merit, we outline several…