Extending real-valued functions in βκ
An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C*-embedded subspaces of ω*, showing that there can be such sets of cardinality and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.