Rick，Statman先生 每个可数偏序集都可嵌入到不可解项的偏序集中。 （英语） Zbl 0637.03013号 西奥。计算。科学。 4865-100（1986年）. 如果对于任何组合子N，存在一个组合子序列（M_1，…，M_k），使得（MM_1，..，M_k={\beta}N\）（M是可解的，如果M具有头正规形式。）大多数（lambda）-演算模型不区分不可解的组合子。作者使用商偏序集的结构来阐明它们的计算行为。对于组合子M和N，如果存在组合子（N_1，…，N_N），使得（MN_1…，N_N={beta}N\），则称M比N（N\（leq-M）更容易解\（leq）是组合子的拟序，并产生商偏序集（{mathcal U}）\（{mathcal U}）有一个底部元素，由所有可解项和一些最大元素组成，但其结构很复杂。本文的主要结果表明，每个可数偏序集都可以同构地嵌入到（{mathcal U}）中。审核人：M.W.邦德 MSC公司： 03B40型 组合逻辑与lambda演算 关键词：闭合\（\lambda\）-term;（lambda）-演算的模型;不可解组合子;商偏序集;计算行为;可解项;可数偏序集 PDF格式BibTeX公司 XML格式引用 \textit{R.Statman}，Theor（西奥）。计算。科学。48,95--100（1986；Zbl 0637.03013） 全文： 内政部 参考文献： [1] Barendrigt，H.P.，Lambda微积分（1984），北荷兰：北荷兰阿姆斯特丹·Zbl 0549.03012号 [2] Mostowski，A.（基础研究：精选作品，第二卷（1979），北荷兰：北荷兰阿姆斯特丹），68-70·Zbl 0425.01021号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。