E-Recursion, Forcing and C*-Algebras | lit.salon