A Magic Set is a set \(M\) of reals with the property that for all nowhere constant, continuous functions \(f\) and \(g\) on the reals it holds that \(f[M]\subseteq g[M]\) implies \(f = g\).
I will cover some of the basic results on magic sets and introduce magic forcing — a forcing notion that adds a new magic set to the ground model.