K.V.布林诺夫。 基本递归范畴线性排序。 （英语。俄文原件） Zbl 1477.03145号 同胞。数学。J。 60，第1期，20-26（2019）; 来自Sib的翻译。材料Zh。60，编号1，28-36（2019）。 摘要：我们证明了线性序在一类结构上是原递归范畴的当且仅当它们只包含有限多个连续。 引用于三文件 MSC公司： 03C57号 可计算结构理论 03D45号 计算理论，有效呈现结构 06年05月 订单总数 关键词：原始递归分类;线性排序;原始递归见证的可判定性 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Blinov}，西布。数学。J.60，No.1，20-26（2019；兹bl 1477.03145）；来自Sib的翻译。材料Zh。60，第1号，28-36（2019） 全文： 内政部 参考文献： [1] 埃尔肖夫·余（Ershov Yu）。L.和Goncharov S.S.，构造模型，Ser。西伯利亚代数和逻辑学院，Kluwer学术出版社/Plenum出版社，纽约等（2000年）·Zbl 0954.03036号 [2] Rogers H.，递归函数和有效可计算性理论，McGraw-Hill，纽约（1967）·Zbl 0183.01401号 [3] Latkin E.I.，“多项式非自动稳定性：代数方法”，《程序设计中的逻辑方法》，第133卷，第6期，14-37页（1990年）·Zbl 0754.03026号 [4] Alaev P.E.，“多项式时间内可计算的结构”，《代数与逻辑》，第55卷，第6期，421-435（2017）·Zbl 1420.03104号 ·doi:10.1007/s10469-017-9416-y [5] Alaev P.E.，“本原递归和多项式布尔代数的分类”，《代数与逻辑》，第57卷，第4期，251-274（2018）·Zbl 1485.03102号 ·doi:10.1007/s10469-018-9498-1 [6] Remmel J.B.，“递归分类线性排序”，Proc。阿默尔。数学。Soc.，第83卷，第2期，379-386（1981）·Zbl 0493.03022号 [7] Goncharov S.S.和Dzgoev V.D.，“模型的自稳定性”，《代数与逻辑》，第19卷，第1期，28-37（1980）·Zbl 0468.03023号 ·doi:10.1007/BF01669102 [8] Cenzer D.和Remmel J.B.，“复杂性理论模型理论和代数”，载于：递归数学手册，1998年，第1卷，351-355·Zbl 0941.03035号 [9] Melnikov A.、Kalimullin I.和Ng K.M.，“可立即计算的代数结构”，Theor。计算。科学。，73-98 (2017). ·Zbl 1418.03151号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。