肖恩·拉文 cPC\（_d（mathbb{A}）类的Spector-Gandy定理。 （英语） Zbl 0764.03012号 J.塞姆。日志。 57，第2期，478-500（1992）. 设（{mathfrak A}）是可容许结构。A \（\text｛cPC｝_d（{mathfrak A}）class是一个形式为\（neg\exists\上划线K\bigwedge\Phi\）的句子的所有模型的类，其中\（上划线K\）是一个\（{math frak A{）-r.e.关系符号集，\。主要定理是以下内容的推广：设（{mathfrak a}）是一个纯可数可解可容许结构，使得（{math frak a{）不基本嵌入（Sigma）。那么，一类具有可数结构的类（K），其宇宙是一组u元素，是一个（text{cPC}_d（{\mathfrak A}）类当且仅当对于某些（\Sigma）公式（\Sigma）（参数来自（{\mathfrak A}）），（{\mathfrak M}）在（K）中当且仅如果（{\methfrak M}）是一个具有宇宙一组元素和（（\text）的可数结构{链接}_{\mathfrak A}（{\matchfrak M}），{\math frak A}，{\mathfrak M}）\models\sigma\），其中\（\text{链接}_{mathfrak A}（{mathfrak M}）是HYP的一个推广，是对本文定义的具有相似类型的结构的推广。这里我们只注意到当L（_\alpha）是可容许的时｛炒作｝_{\text{左}_α}（{\mathfrak M}）是L（_\beta（{\mathfrak M}））的最小值，使得L（_\ beta（}{链接}_当（{mathfrak M}）具有有限相似类型时，{\mathbb{H}\mathbb{F}}（{\mathfrac M}。\（\text的定义{链接}_{mathfrak A}（{mathfrak M}）是使用亚当森的+-容许结构概念（1978）最自然地公式化的。我们证明了著名截断引理从可容许结构到+-可容许结构的推广。这个推广是证明广义Spector-Gandy定理的一个关键定理。审核人：S.Lavine（纽约） 引用于1审查 MSC公司： 03C70号 容许集上的逻辑 03C15号 可数可分结构的模型理论 关键词：容许结构;超链接;截断;广义Spector-Gandy定理 PDF格式BibTeX公司 XML格式引用 \textit{S.Lavine}，J.Symb（J.塞姆）。日志。57，第2号，478--500（1992；Zbl 0764.03012） 全文： DOI程序 参考文献： [1] 模型理论 [2] 使用附加谓词的有限公理化23 pp 289– [3] 允许的集合和结构 [4] 内政部：10.1016/0003-4843（78）90014-1·Zbl 0395.03025号 ·doi:10.1016/0003-4843（78）90014-1 [5] 内政部：10.1007/BFb0066791·doi:10.1007/BFb0066791 [6] 数学基础48第313页–·Zbl 0017.15601号 [7] 内政部：10.1016/0003-4843（77）90009-2·Zbl 0376.02032号 ·doi:10.1016/0003-4843（77）90009-2 [8] HYP（M）42纯成分第33页- [9] 数学逻辑手册第233页– [10] A Magyar Tudományos Akadémia Matematikai KutatóIntézetének Közleményei（布达佩斯）9页159– [11] 一类共分析集的模型理论类比的广义约简定理·兹伯利0782.03019 [12] 美国数学学会回忆录第27页- [13] 容许集50上cPCd模型类的Spector-Gandy定理 [14] 递归理论层次结构·Zbl 0371.02017号 [15] 《科学公报》，《数学科学与天文学与物理学》，第8页，第571页 [16] Akademiya Nauk SSSR Sibirskoe Otdelenie学院Matematiki Vychislitel’nye学院Sbornik Trudov 138 pp 35– [17] 下一个容许集36 pp 108– 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。