Martin's axiom implies a stronger version of Blumberg's theorem (Q2277588)

The following theorem is the main result: Assume MA(K) for \(\sigma\)- centered posets. Let \(X\to {\mathbb{R}} ({\mathbb{R}}^ n)\) be categorically dense in \({\mathbb{R}} ({\mathbb{R}}^ n)\), and let \(f:X\to {\mathbb{R}}\). Then there is a K- dense set \(D\subset X\) such that \(f| D\) is continuous. This theorem strengthens earlier theorems of Blumberg, Sierpiński-Zygmund, and Shinoda. One problem is contained in this paper.