We study of the notion of selective separability (SS), which was introduced by Marion Scheepers, and its connection with the game-theoretic strengthening, strategically selective separable spaces (SS+). It is known that every set of countable pi-weight is selectively separable, and if X is selectively separable, then all dense subsets of X are selectively separable. We know that some dense countable subsets of 2c are selectively separable and some are not. It is also known that Cp(X) is selectively separable if and only if it is separable and has countable fan tightness. Here we prove that separable Frechet spaces are selectively separable. It is also shown that consistently the product of two separable Frechet spaces might not be selectively separable. Also we show that adding a Sacks real can destroy the property of being selectively separable.
We introduce a notion stronger than selective separability and called it strategically selective separable or SS+ and consider its properties in countable dense subsets of uncountable powers. We show that there is an SS space which fails to be SS+. The motivation for studying SS+ is that it is a property possessed by all separable subsets of Cp(X) for each sigma-compact space X. We prove that the winning strategy for countable SS+ spaces can be chosen to be Markov.
We introduce the notion of being compactlike of a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS+ spaces such that the union fails to be SS+, which contrasts the known result about the union of SS spaces. We also prove that the product of two countable SS+ spaces is again countable SS+.
We prove a very interesting result which consistently contrasts our previous result, that the proper forcing axiom, PFA, implies that the product of two countable Frechet spaces is SS. Also we show that consistently with the negation of CH that all separable Frechet spaces have pi-weight at most o1.
We also worked on an open question posed by Ohta and Yamasaki in the book "Open Problems in Topology" which is, whether every C*-embedded subset of a first countable space is C-embedded. It is known that a counterexample can be derived from the assumption b=s=c and that if the Product Measure Extension Theorem (PMEA) holds then the answer is affirmative in some cases. We show that in the model obtained by adding kappa many random reals, where kappa is a supercompact cardinal, every C*-embedded subset of a first countable space (even with character smaller than kappa) is C-embedded. The result was derived from the interesting fact that, if two ground model sets are completely separated after adding a random real, then they were completely separated originally.
The dissertation is divided as follows. The first chapter contains the topological properties of selectively separable spaces. The second chapter contains all the results we obtained about SS+ spaces. The third chapter is devoted to the theorems involving CH and forcing extensions. The final chapter contains the results we obtained in the random real model about the C-embedding and C*-embedding properties.
Any topological term not defined explicitly should be understood as in [1]. The corresponding remark applies to set theoretic notions and [2]