吉安·伊夫·吉拉德;达格·诺曼 ptykes的可嵌入性。 （英语） Zbl 0777.03015号 J.塞姆。日志。 57，第2期，659-676（1992）. 扩张子是其对象是从ON类到ON类的函子的范畴，其形态是此类函子的自然变换。Ptykes是扩张器的推广。如果类型结构是归纳定义的，包含类型0，并且带有\（\sigma \）和\（\tau \）类型\（\segma \ rightarrow \ tau \），那么扩张器是类型0的ptykes，如果\（\text{彩信}_\sigma）和\（\text{彩信}_tau\）是类型\（\sigma）和\（\tau\）的类别，然后是\（\text）中的函子｛PTYX｝_\sigma\）到\（\text{彩信}_\tau\），带有回调和直接限制的通勤，是类别\（\text{彩信}_{\sigma\rightarrow\tau}）和这些函子的自然变换就是态射。本文讨论了关于ptykes嵌入的问题，即所考虑的情况中的形态。它涉及到这种嵌入存在的条件，在某种意义上，最小嵌入的存在，以及将由一定复杂度的公式描述的ptyke族嵌入到递归ptyx中的可能性。作为ptykes归纳系统合并的工具，引入并使用了弱态射的概念以及用（广义）树（T_A）表示（tau\rightarrow 0）型ptykes\（A）。合并有助于建立可定义性和功能性的联系。弱态射用于构造嵌入。一些结果推广了A.S.凯克里斯【Ann.Pure Appl.Logic 52，No.1/2，79-92（1991；Zbl 0735.03020号)]和A.S.凯克里斯和W.H.伍丁[同上，93-97（1991年；Zbl 0735.03019号)]; 有些还专门用于扩张器。最后，Kechris[loc.cit.]的问题得到解决。审核人：H.Pfeiffer（汉诺威） 引用于三文件 MSC公司： 2015年1月3日 递归序数和序数符号 关键词：扩张器;ptykes的嵌入;ptykes感应系统的合并;弱态射;可定义性;功能性 引文：Zbl 0735.03020号;Zbl 0735.03019号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Girard}和\textit{D.Normann}，J.Symb。日志。57，第2号，659--676（1992；Zbl 0777.03015） 全文： DOI程序 参考文献： [1] 数字对象标识码：10.1090/pspum/042/791069·doi:10.1090/pspum/042/791069 [2] DOI:10.1016/0168-0072（85）90017-X·Zbl 0575.03034号 ·doi:10.1016/0168-0072（85）90017-X [3] 证明理论与逻辑复杂性II [4] 内政部：10.1016/0003-4843（81）90016-4·Zbl 0496.03037号 ·doi:10.1016/0003-4843（81）90016-4 [5] 内政部：10.1016/0168-0072（91）90040-S·Zbl 0735.03020号 ·doi:10.1016/0168-0072（91）90040-S [6] DOI:10.1007/BF01624083·Zbl 0675.03033号 ·doi:10.1007/BF01624083 [7] ptykes的递归理论（1984） [8] 内政部：10.1016/0168-0072（91）90041-J·Zbl 0735.03019号 ·doi:10.1016/0168-0072（91）90041-J [9] DOI:10.1007/BF01633986·Zbl 0685.03038号 ·doi:10.1007/BF01633986 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。