Hiring and enumeration jumps in the Ershov hierarchy

著录项

• 来源
  《Journal of logic and computation》 |2012年第4期|p.737-743|共7页
• 作者

  MARAT KH. FAIZRAHMANOV; ISKANDER SH. KALIMULLIN;

  展开▼
• 作者单位

  Kazan Federal University;

  Kazan Federal University;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  enumeration; reducibility; enumeration operator; enumeration jump; constructive ordinals; ershov hierarchy;

  机译：列举;可还原性枚举运算符;枚举跳转建设性的序言;埃索夫等级;