Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFinite powers and products of Menger sets
134
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We construct, using mild combinatorial hypotheses, a real Menger set that is not Scheepers, and two real sets that are Menger in all finite powers, with a non-Menger product. By a forcing-theoretic argument, we show that the same holds in the Blass--Shelah model for arbitrary values of the ultrafilter and dominating number.
rate research
Read More
We construct Menger subsets of the real line whose product is not Menger in the plane. In contrast to earlier constructions, our approach is purely combinatorial. The set theoretic hypothesis used in our construction is far milder than earlier ones, and holds in all but the most exotic models of real set theory. On the other hand, we establish productive properties f
W. Hurewicz proved that analytic Menger sets of reals are $sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has previously been accomplished by $V = L$ for projective counterexamples, and the Axiom of Projective Determinacy for positive results. For the first problem, the first author, S. Todorcevic, and S. Tokgoz have produced a finer analysis with much weaker axioms. We produce a similar analysis for the second problem, showing the two problems are essentially equivalent. We also construct in ZFC a separable metrizable space with $omega$-th power completely Baire, yet lacking a dense completely metrizable subspace. This answers a question of Eagle and Tall in Abstract Model Theory.
We study products of general topological spaces with Mengers covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology. Among other results, we prove that, assuming CH{}, every productively Lindelof space is productively Menger, and every productively Menger space is productively Hurewicz. None of these implications is reversible.
We provide conceptual proofs of the two most fundamental theorems concerning topological games and open covers: Hurewiczs Theorem concerning the Menger game, and Pawlikowskis Theorem concerning the Rothberger game.
A space $X$ is called {it selectively pseudocompact} if for each sequence $(U_{n})_{nin mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{nin mathbb{N}}$ of points in $X$ such that $cl_X({x_n : n < omega}) setminus big(bigcup_{n < omega}U_n big) eq emptyset$ and $x_{n}in U_{n}$, for each $n < omega$. Countably compact space spaces are selectively pseudocompact and every selectively pseudocompact space is pseudocompact. We show, under the assumption of $CH$, that for every positive integer $k > 2$ there exists a topological group whose $k$-th power is countably compact but its $(k+1)$-st power is not selectively pseudocompact. This provides a positive answer to a question posed in cite{gt} in any model of $ZFC+CH$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
