We will show that the following set theoretical assumption

- \continuum=\omega
_{2}, the dominating number**d**equals to \omega_{1}, and there exists an \omega_{1}-generated Ramsey ultrafilter on \omega

We will also show that cof(null)=\omega_{1} implies existence
of a magic set and of a function
f:**R**-->**R** such that
f|_{D} is discontinuous for every D which is not simultaneously
meager and of measure zero.

**Version as printed.**

**Full text on line in pdf format.**
Requires Adobe Acrobat Reader.

**Version correcting typos from printed version.**

**Full text on line in pdf format.**
Requires Adobe Acrobat Reader.

**LaTeX 2e source file**.
**Requires rae.cls file**.

**Last modified September 18, 2001.**