# From abstract alpha-Ramsey theory to abstract ultra-Ramsey theory

Research paper by **Timothy Trujillo**

Indexed on: **15 Jan '16**Published on: **15 Jan '16**Published in: **Mathematics - Logic**

Join Sparrho today to stay on top of science

Discover, organise and share research that matters to you

Join Sparrho today to stay on top of science

Discover, organise and share research that matters to you

Join for free

#### Abstract

We work within the framework of the Alpha-Theory introduced by Benci and Di
Nasso. The Alpha-Theory postulates a few natural properties for an infinite
"ideal" number $\alpha$. The formulation provides an elementary axiomatics for
the methods of abstract ultra-Ramsey theory.
The main results are Theorem 10, Theorem 57, Theorem 67 and Theorem 73.
Theorem 10 is an infinite-dimensional extension of the celebrated Ramsey's
Theorem. We show that corollaries of this result include the Galvin-Pirky
Theorem, the Silver Theorem and the $\vec{\alpha}$-Ellentuck Theorem. We prove
that, under the assumption of the $\mathfrak{c}^{+}$-enlarging property, the
$\vec{\alpha}$-Ellentuck Theorem is equivalent to the Ultra-Ellentuck Theorem
of Todorcevic.
Theorem 57 is an abstraction of Theorem 10 to the setting of triples
$(\mathcal{R},\le,r)$ where $\mathcal{R}\not=\emptyset$, $\le$ is a quasi-order
on $\mathcal{R}$ and $r$ is a function with domain $\mathbb{N}\times
\mathcal{R}$. We use Theorem 57 to develop the Abstract
$\vec{\alpha}$-Ellentuck Theorem, Theorem 67, and the Abstract Ultra-Ellentuck
Theorem, Theorem 73, extending the Abstract Ellentuck Theorem along the same
lines as the $\vec{\alpha}$-Ellentuck Theorem and Ultra-Ellentuck Theorem
extend the Ellentuck Theorem, respectively. We conclude with some examples
illustrating the theory and an open question related to the local Ramsey theory
developed by Di Prisco, Mijares and Nieto.