Canonization of analytic equivalences on the Carlson-Simpson forcing
Logic
2013-04-11 v1 Combinatorics
Abstract
We prove a canonization result for the Carlson-Simpson forcing in the spirit of \cite{KSZ}. We generalize the weak form of the Carlson-Simpson theorem (\cite{CaSi}) dealing with partitions without free blocks: instead of dealing with finite Borel (resp. Baire-property) colorings we deal with (uncountable) colorings such that the corresponding equivalence relation (two partitions are equivalent if they are colored by the same color) is analytic.
Keywords
Cite
@article{arxiv.1304.3019,
title = {Canonization of analytic equivalences on the Carlson-Simpson forcing},
author = {Michal Doucha},
journal= {arXiv preprint arXiv:1304.3019},
year = {2013}
}