Error recognition in the Cantor cube

Abstract

Abstract Based on the notion of thin sets introduced recently by T. Banakh, Sz. Głąb, E. Jabłońska and J. Swaczyna we deliver a study of the infinite single-message transmission protocols. Such protocols are associated with a set of admissible messages (i.e. subsets of the Cantor cube ℤ2ω). Using Banach-Mazur games we prove that all protocols detecting errors are Baire spaces and generic (in particular maximal) ones are not neither Borel nor meager. We also show that the Cantor cube can be decomposed to two thin sets which can be considered as the infinite counterpart of the parity bit. This result is related to so-called xor-sets defined by D. Niwiński and E. Kopczyński in 2014.