arXiv++ Combinatorics

We study a reconstruction problem for colorings. Given a finite or countable set $X$, a coloring on $X$ is a function $\varphi: [X]^{2}\to \{0,1\}$, where $[X]^{2}$ is the collection of all 2-elements subsets of $X$. A set $H\subseteq X$ is homogeneous for $\varphi$ when $\varphi$ is constant on $[H]^2$. Let $hom(\varphi)$ be the collection of all homogeneous sets for $\varphi$. The coloring $1-\varphi$ is called the complement of $\varphi$. We say that $\varphi$ is {\em reconstructible} up to complementation from its homogeneous sets, if for any coloring $ψ$ on $X$ such that $hom(\varphi)=hom(ψ)$ we have that either $ψ=\varphi$ or $ψ=1-\varphi$. We present several conditions for reconstructibility and non reconstructibility. We show that there is a Borel way to reconstruct a coloring from its homogeneous sets.

We present results about the Cantor-Bendixson index of some subspaces of a uniform family F of finite subsets of natural numbers with respect to the lexicographic order topology. As a corollary of our results we get that for any omega-uniform family F the restriction F|M is homeomorphic to F iff M contains intervals of arbitrary length of consecutive integers. We show the connection of these results with a topological partition problem of uniform families.

It is shown that Matet's characterization of the Ramsey property relative to a selective co-ideal $\mathcal{H}$, in terms of games of Kastanas, still holds if we consider semiselectivity instead of selectivity. Moreover, we prove that a co-ideal $\mathcal{H}$ is semiselective if and only if Matet's game-theoretic characterization of the $\mathcal{H}$-Ramsey property holds. This lifts Kastanas's characterization of the classical Ramsey property to its optimal setting, from the point of view of the local Ramsey theory and gives a game-theoretic counterpart to a theorem of Farah \cite{far}, asserting that a co-ideal $\mathcal{H}$ is semiselective if and only if the family of $\mathcal{H}$-Ramsey subsets of $\N^{[\infty]}$ coincides with the family of those sets having the abstract $\mathcal{H}$-Baire property. Finally, we show that under suitable assumptions, for every semiselective co-ideal $\mathcal H$ all sets of real numbers are $\mathcal H$-Ramsey.