相对于递归可枚举集的弱泛型的几乎处处计算
Almost-everywhere computation of weak generics relative to r.e. sets
首次发表
浏览论文内容
中文总结 AI 辅助
本文证明了存在超高阶的AEWG递归可枚举集，且所有low2递归可枚举集均为AEWG，扩展了Hirschfeldt等人的结果。
中文摘要 AI 辅助
集合B称为AEWG，如果几乎所有集合都能计算一个弱1-B-泛型。我们扩展了Hirschfeldt、Jockusch和Schupp的两个结果，证明了存在一个AEWG超高阶递归可枚举集，并且每个low2递归可枚举集都是AEWG。
英文摘要
A set B is AEWG if almost every set computes a weakly 1-B-generic. Extending two results of Hirschfeldt, Jockusch and Schupp, we prove that there is an AEWG superhigh r.e. set and every low2 r.e. set is AEWG.
发表机构
- School of Mathematics Nanjing University（南京大学数学系）
机构由 AI 辅助整理，请以论文原文为准。
