Partition theorems from creatures and idempotent ultrafilters
Abstract
We show a general scheme of Ramsey-type results for partitions of countable sets of finite functions, where "one piece is big" is interpreted in the language originating in creature forcing. The heart of our proofs follows Glazer's proof of the Hindman Theorem, so we prove the existence of idempotent ultrafilters with respect to suitable operation. Then we deduce partition theorems related to creature forcings.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2010
- DOI:
- 10.48550/arXiv.1005.2803
- arXiv:
- arXiv:1005.2803
- Bibcode:
- 2010arXiv1005.2803R
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Combinatorics
- E-Print:
- Annals of Combinatorics: Volume 17, Issue 2 (2013), Page 353-378