Alapfogalmak
The paper introduces the notion of a weak A2 space (wA2-space), which generalizes spaces satisfying Todorčević's axioms A1-A4 and countable vector spaces. It shows that in any Polish wA2-space, analytic sets are Kastanas Ramsey, and discusses the relationship between Kastanas Ramsey sets and the projective hierarchy. It also shows that in all spaces satisfying A1-A4, every subset of R is Kastanas Ramsey if and only if it is Ramsey. Finally, it shows that in the setting of Gowers wA2-spaces, Kastanas Ramsey sets and strategically Ramsey sets coincide.
Kivonat
The paper introduces the concept of a weak A2 space (wA2-space), which generalizes the notion of spaces satisfying Todorčević's axioms A1-A4 and countable vector spaces. The key insights are:
In any Polish wA2-space, every analytic set is Kastanas Ramsey. This is shown by relating the Kastanas game on wA2-spaces to the projective hierarchy.
For spaces satisfying axioms A1-A4, a set is Kastanas Ramsey if and only if it is Ramsey. This generalizes a recent result for selective topological Ramsey spaces.
In Gowers wA2-spaces, the Kastanas Ramsey sets and strategically Ramsey sets coincide, providing a connection between topological Ramsey spaces and countable vector spaces.
The paper presents these three main theorems, along with several supporting lemmas and propositions that establish the set-theoretic properties of Kastanas Ramsey sets in wA2-spaces.