Inadmissible forcing

A structure is E-closed if it is closed under all partial E-recursive functions from V into V, a set theoretic extension of Kleene's partial recursive functions of finite type in the normal case. Let L(κ) be E-closed and ∑₁ inadmissible. Then L(κ) has reflection properties useful in the study of generic extensions of L(κ). Every set generic extension of L(κ) via countably closed forcing conditions is E-closed. A class generic construction shows: if L(κ) is countable, and inside L(κ) the greatest cardinal gc(κ), has uncountable cofinality, then there exists a T ⊆ gc(κ) such that L(κ, T) = E(T), the least E-closed set with T as a member. A partial converse is obtained via a selection theorem that implies E(X) is ∑₁ admissible when X is a set of ordinals and the greatest cardinal in the sense of E(X) has countable cofinality in E(X).