Понятие Е°-вычислимой нумерации является обобщением понятия вычислимой нумерации - классического объекта теории нумераций (вычислимыми нумерациями в традиционном понимании этого термина являются в точности Е^-вычислимые нумерации). Систематическое изучение Е^-вычислимых нумераций для га ^ 2 началось с работы [1], в которой доказано, что все неодноэлементные полурешётки Роджерса таких нумераций бесконечны и не являются решётками.
展开▼
机译:E°的编号的概念是计算编号的概念的概念 - 编号理论的经典对象(传统理解中的可计算编号是e ^ -cissable编号的准确性)。 E ^ -Inxisted对GE 2的系统研究开始于[1],其中证明了罗杰斯的所有无效半化学物质是无限的,而不是格子。
展开▼