Title: E-Recursion, Forcing, and C*-Algebras
Subjects: Recursion theory, C algebras, Model theory, Forcing (Model theory), C*-algebras