Results 1  10
of
405
THE STRENGTH OF THE RAINBOW RAMSEY THEOREM
, 2009
"... The Rainbow Ramsey Theorem is essentially an “antiRamsey” theorem which states that certain types of colorings must be injective on a large subset (rather than constant on a large subset). Surprisingly, this version follows easily from Ramsey’s Theorem, even in the weak system RCA0 of reverse mathe ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
The Rainbow Ramsey Theorem is essentially an “antiRamsey” theorem which states that certain types of colorings must be injective on a large subset (rather than constant on a large subset). Surprisingly, this version follows easily from Ramsey’s Theorem, even in the weak system RCA0 of reverse
SYMMETRIZED INDUCED RAMSEY THEOREMS
"... Abstract. We prove induced Ramsey theorems in which the induced monochromatic subgraph satisfies that some of its partial automorphisms extend to automorphisms of the colored graph. 1. ..."
Abstract
 Add to MetaCart
Abstract. We prove induced Ramsey theorems in which the induced monochromatic subgraph satisfies that some of its partial automorphisms extend to automorphisms of the colored graph. 1.
Parametrized Ramsey theorems in infinite dimension
, 2007
"... In certain circumstances, onedimensional parametrized Ramsey theorems extend to infinite dimension. As a consequence, countable products of many forcings do not add splitting reals. ..."
Abstract
 Add to MetaCart
In certain circumstances, onedimensional parametrized Ramsey theorems extend to infinite dimension. As a consequence, countable products of many forcings do not add splitting reals.
The canonical Ramsey theorem and computability theory
"... Using the tools of computability theory and reverse mathematics, we study the complexity of two partition theorems, the Canonical Ramsey Theorem of Erdös and Rado, and the Regressive Function Theorem of Kanamori and McAloon. Our main aim is to analyze the complexity of the solutions to computable in ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
Using the tools of computability theory and reverse mathematics, we study the complexity of two partition theorems, the Canonical Ramsey Theorem of Erdös and Rado, and the Regressive Function Theorem of Kanamori and McAloon. Our main aim is to analyze the complexity of the solutions to computable
Proper forcing and rectangular Ramsey theorems
, 2008
"... I prove forcing preservation theorems for products of definable partial orders preserving cofinality of the meager or null ideal. Rectangular Ramsey theorems for the related ideals follow from the proofs. ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
I prove forcing preservation theorems for products of definable partial orders preserving cofinality of the meager or null ideal. Rectangular Ramsey theorems for the related ideals follow from the proofs.
EUCLIDEAN RAMSEY THEOREMS, III
 COLLOQUIA MATHEMATICA SOCIETATIS JANOS BOLYAI 10. INFINITE AND FINITE SETS, KESZTHELY (HUNGARY)
, 1973
"... ..."
An AntiRamsey Theorem on Posets
, 2002
"... It is known that if P and Q are posets and is lexicographic product, then (in the Erd}osRado partition notation), PQ ! (P; Q). ..."
Abstract
 Add to MetaCart
It is known that if P and Q are posets and is lexicographic product, then (in the Erd}osRado partition notation), PQ ! (P; Q).
Approximate Euclidean Ramsey theorems
"... According to a classical result of Szemerédi, every dense subset of 1, 2,..., N contains an arbitrary long arithmetic progression, if N is large enough. Its analogue in higher dimensions due to Fürstenberg and Katznelson says that every dense subset of {1, 2,..., N} d contains an arbitrary large gri ..."
Abstract
 Add to MetaCart
According to a classical result of Szemerédi, every dense subset of 1, 2,..., N contains an arbitrary long arithmetic progression, if N is large enough. Its analogue in higher dimensions due to Fürstenberg and Katznelson says that every dense subset of {1, 2,..., N} d contains an arbitrary large grid, if N is large enough. Here we present geometric variants of these results for separated point sets on the line and respectively in the Euclidean space: (i) every dense separated set of points in some interval [0, L] on the line contains an arbitrary long approximate arithmetic progression, if L is large enough. (ii) every dense separated set of points in the ddimensional cube [0, L] d in R d contains an arbitrary large approximate grid, if L is large enough. A further generalization for any finite pattern in R d is also established. The separation condition is shown to be necessary for such results to hold. In the end we show that every sufficiently large point set in R d contains an arbitrarily large subset of almost collinear points. No separation condition is needed in this case.
Results 1  10
of
405