Mathematical Sciences: Recursion Theory

数学科学：递归理论

• 批准号: 8800030
• 负责人: Michael Stob
• 金额: $ 2.67万
• 依托单位: Calvin University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-06-15 至 1991-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8800030&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Recursion; Theory

Stob will continue his work in recursion theory, a branch of mathematical logic which formalizes the notion of computability. He intends to study the structure of the lattice of recursively enumerable sets and the upper semilattice of recursively enumerable degrees. In particular, Stob will attempt to settle conjectures about orbits under automorphisms of the lattice of recursively enumerable sets, automorphism types of splittings of creative sets, and isomorphism types of lattices of supersets of r.e. sets. Stob will also attempt to answer questions about the Turing degrees of various natural classes of r.e. sets and will attempt to settle two questions about minimal pairs in the r.e. Turing degrees.

Stob将继续他在递归理论方面的工作，这分支 形式化可计算性概念的数学逻辑。 他打算递归地研究 可积集与递归的上半格 值得尊敬的学位。 特别是，斯托布将试图解决 格的自同构下的轨道 递归可列集，分裂的自同构类型， 的超集格的同构类型 R.E.集. Stob还将尝试回答有关 各种自然类r.e.的图灵度。集和将 试图解决r. e中关于极小对的两个问题。 图灵度