A Spector-Gandy theorem for cPCd() classes
Let \({\mathfrak A}\) be an admissible structure. A \(\text{cPC}_ d({\mathfrak A})\) class is the class of all models of a sentence of the form \(\neg\exists\overline K\bigwedge\Phi\), where \(\overline K\) is an \({\mathfrak A}\)-r.e. set of relation symbols and \(\Phi\) is an \({\mathfrak A}\)-r.e. set of formulas of \({\mathcal L}_{\infty\omega}\) that are in \({\mathfrak A}\). The main theorem is a generalization of the following: Let \({\mathfrak A}\) be a pure countable resolvable admissible structure such that \({\mathfrak A}\) is not \(\Sigma\)-elementarily embedded in \(\text{HYP}({\mathfrak A})\). Then a class \(K\) of countable structures whose universes are sets of urelements is a \(\text{cPC}_ d({\mathfrak A})\) class if and only if for some \(\Sigma\) formula \(\sigma\) (with parameters from \({\mathfrak A})\), \({\mathfrak M}\) is in \(K\) if and only if \({\mathfrak M}\) is a countable structure with universe a set of urelements and \((\text{HYP}_{\mathfrak A}({\mathfrak M}),{\mathfrak A},{\mathfrak M})\models\sigma\), where \(\text{HYP}_{\mathfrak A}({\mathfrak M})\), the smallest admissible set above \({\mathfrak M}\) relative to \({\mathfrak A}\), is a generalization of HYP to structures with similarity type \(\Sigma\) over \({\mathfrak A}\) that is defined in this article. Here we just note that when L\(_ \alpha\) is admissible, \(\text{HYP}_{\text{L}_ \alpha}({\mathfrak M})\) is L\(_ \beta({\mathfrak M})\) for the least \(\beta\geq\alpha\) such that L\(_ \beta({\mathfrak M})\) is admissible, and so, in particular, that \(\text{HYP}_{\mathbb{H}\mathbb{F}}({\mathfrak M})\) is just \(\text{HYP}({\mathfrak M})\) in the usual sense when \({\mathfrak M}\) has a finite similarity type. The definition of \(\text{HYP}_{\mathfrak A}({\mathfrak M})\) is most naturally formulated using Adamson's notion of a +-admissible structure (1978). We prove a generalization of the well-known truncation lemma from admissible to +-admissible structures. That generalization is a key theorem applied in the proof of the generalized Spector-Gandy theorem.
- On a theorem of Grothendieck in \(C_ p\)-theory
- scientific article; zbMATH DE number 1036743
- scientific article; zbMATH DE number 7310563
- scientific article; zbMATH DE number 4032589
- A certain p-adic spectral theorem
- Classifying rational G-spectra for finite G
- On the Spectral Rigidity of CP n
- scientific article; zbMATH DE number 3913262
- A Segal conjecture for \(p\)-completed classifying spaces
- scientific article; zbMATH DE number 3941567
- Admissible sets and the saturation of structures
- Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets
- scientific article; zbMATH DE number 3577197 (Why is no real title available?)
- scientific article; zbMATH DE number 3027246 (Why is no real title available?)
- Models with compactness properties relative to an admissible language
This page was built for publication: A Spector-Gandy theorem for cPCd() classes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032633)
