Abstract
Let U be an admissible structure. A cPCd(U) class is the class of all models of a sentence of the form $\neg\exists\bar{K} \bigwedge \Phi$ , where K̄ is an U-r.e. set of relation symbols and φ is an U-r.e. set of formulas of L∞ω that are in U. The main theorem is a generalization of the following: Let U be a pure countable resolvable admissible structure such that U is not Σ-elementarily embedded in HYP(U). Then a class K of countable structures whose universes are sets of urelements is a cPCd(U) class if and only if for some Σ formula σ (with parameters from U), M is in K if and only if M is a countable structure with universe a set of urelements and $(\mathrm{HYP}_\mathfrak{U}(\mathfrak{M}), \mathfrak{U}, \mathfrak{M}) \models \sigma$ , where HYPU(M), the smallest admissible set above M relative to U, is a generalization of HYP to structures with similarity type Σ over U that is defined in this article. Here we just note that when Lα is admissible, HYPLα(M) is Lβ(M) for the least β ≥ α such that Lβ(M) is admissible, and so, in particular, that HYPHF(M) is just HYP(M) in the usual sense when M has a finite similarity type. The definition of HYPU(M) is most naturally formulated using Adamson's notion of a +-admissible structure (1978). We prove a generalization from admissible to +-admissible structures of the well-known truncation lemma. That generalization is a key theorem applied in the proof of the generalized Spector-Gandy theorem