On resolvability of products

Consistency and independence results (03E35) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35) Large cardinals (03E55)

Abstract: All spaces below are

T_{0}

and crowded (i.e. have no isolated points). For

n l e o m e g a

let

M (n)

be the statement that there are

n

measurable cardinals and

P i (n)

(

P i^{+} (n)

) that there are

n + 1

(0-dimensional

T_{2}

) spaces whose product is irresolvable. We prove that

M (1),, P i (1)

and

P i^{+} (1)

are equiconsistent. For

1 < n < o m e g a

we show that

C O N (M (n))

implies

C O N (P i^{+} (n))

. Finally,

C O N (M (o m e g a))

implies the consistency of having infinitely many crowded 0-dimensional

T_{2}

-spaces such that the product of any finitely many of them is irresolvable. These settle old problems of Malychin. Concerning an even older question of Ceder and Pearson, we show that the following are consistent modulo a measurable cardinal: (i) There is a 0-dimensional

T_{2}

space

X

with

o m e g a_{2} l e D e l t a (X) l e 2^{o m e g a_{1}}

whose product with any countable space is not

o m e g a_{2}

-resolvable, hence not maximally resolvable. (ii) There is a monotonically normal space

X

with

D e l t a (X) = a l e p h_{o} m e g a

whose product with any countable space is not

o m e g a_{1}

-resolvable, hence not maximally resolvable. These significantly improve a result of Eckertson.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On resolvability of products

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