Abstract
AbstractGiven a topological Ramsey space , we extend the notion of semiselective coideal to sets and study conditions for that will enable us to make the structure a Ramsey space (not necessarily topological) and also study forcing notions related to which will satisfy abstract versions of interesting properties of the corresponding forcing notions in the realm of Ellentuck's space (cf. [][]). This extends results from [][] to the most general context of topological Ramsey spaces. As applications, we prove that for every topological Ramsey space , under suitable large cardinal hypotheses every semiselective ultrafilter is generic over ; and that given a semiselective coideal , every definable subset of is ‐Ramsey. This generalizes the corresponding results for the case when is equal to Ellentuck's space (cf. [][]).
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
