A short proof of Parovičenko's theorem
We discuss functions f : X × Y → Z such that sets of the form f (A × B) have non-empty interiors provided that A and B are non-empty sets of second category and have the Baire property.
An extremally disconnected space is called an absolute retract in the class of all extremally disconnected spaces if it is a retract of any extremally disconnected compact space in which it can be embedded. The Gleason spaces over dyadic spaces have this property. The main result of this paper says that if a space X of π-weight is an absolute retract in the class of all extremally disconnected compact spaces and X is homogeneous with respect to π-weight (i.e. all non-empty open sets have the same...
Page 1