Distinguishing perfect set properties in separable metrizable spaces

Abstract: All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space

X

, every closed subset of

X

has the perfect set property if and only if every analytic subset of

X

has the perfect set property" is equivalent to

m a t h f r a k b > o m e g a_{1}

(hence, in particular, it is independent of

m a t h s f Z F C

). This, together with a theorem of Solecki and an example of Miller, will allow us to determine the status of the statement "For every space

X

, if every

m a t h b f G a m m a

subset of

X

has the perfect set property then every

m a t h b f G^{'} a m m a

subset of

X

has the perfect set property" as

m a t h b f G a m m a, m a t h b f G^{'} a m m a

range over all pointclasses of complexity at most analytic or coanalytic. Along the way, we define and investigate a property of independent interest. We will say that a subset

W

of

2^{o} m e g a

has the Grinzing property if it is uncountable and for every uncountable

Y s u b s e t e q W

there exists an uncountable collection consisting of uncountable subsets of

Y

with pairwise disjoint closures in

2^{o} m e g a

. The following theorems hold. (1) There exists a subset of

2^{o} m e g a

with the Grinzing property. (2) Assume

m a t h s f M A + e g m a t h s f C H

. Then

2^{o} m e g a

has the Grinzing property. (3) Assume

m a t h s f C H

. Then

2^{o} m e g a

does not have the Grinzing property. The first result was obtained by Miller using a theorem of Todorv{c}evi'c, and is needed in the proof of our main result.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Distinguishing perfect set properties in separable metrizable spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805029)