U.S.-New Zealand Cooperative Research in Computability Theory

美国-新西兰可计算性理论合作研究

• 批准号: 9020558
• 负责人: Michael Stob
• 金额: $ 2.55万
• 依托单位: Calvin University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-15 至 1995-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9020558&HistoricalAwards=false
• 关键词: U.S.; New; Zealand; Cooperative; Research

This award supports a visit by Professors Michael Stob of Calvin College, Steffen Lempp of the University of Wisconsin, and Richard Shore of Cornell University, to Victoria University, New Zealand, to work with Professor Rodney Downey. All have collaborated successfully in the past and have several on-going projects in recursion theory, a branch of mathematical logic. All concern the study of certain algebraic structures which arise naturally from the study of effective computability. The primary structures they will study are the lattice of recursively enumerable sets and the uppersemilattices of the Turing degrees and the recursively enumerable Turing degrees. The principal method they will employ is the priority method.

该奖项支持迈克尔·斯托布教授访问 威斯康星州大学的卡尔文学院， 康奈尔大学的理查德海岸，到维多利亚 与罗德尼唐尼教授合作。 所有人都在过去成功合作过， 递归理论是数学的一个分支， 逻辑 所有这些都涉及到对某些代数结构的研究 这是从研究有效的 可计算性 他们将研究的主要结构是 递归可重集格和 上半格的图灵度和递归 图灵度。 他们的主要方法是 使用是优先方法。