A computably enumerable (c. e. , for short) degree is called plus cupping, if every nonzero c. e. degree below it is cuppable, in the sense that it joins to 0’ with an incomplete c. e. degree.
一个可计算枚举(computably enumerable，简记为c．e．)度被称为加杯的，如果它囿界的每个非零的c．e．度都是可杯的，也就是说能与一个不完全c．e．度结合为0′。
参考来源 - 加杯图灵度的代数结构·2,447,543篇论文数据，部分数据来源于NoteExpress
经历了四周的FIFA世界杯观战历程之后，还是会有很多可想可谈的东西。
You still have something to think about, to talk about, after four weeks of watching the FIFA World Cup.
倘若媒体“数字寄存柜”服务有利可图，它们也想分一杯羹。
If there is going to be money in digital-locker services, they want a cut.
无数人发誓早上喝一杯咖啡可振奋一整天的精神。
Millions swear by a morning cup of coffee to perk them up for the day.
应用推荐