U.S.-New Zealand Cooperative Research: Degrees of Oracle Computable Functions

美国-新西兰合作研究：Oracle 可计算函数的度数

• 批准号: 8722887
• 负责人: Manuel Lerman
• 金额: $ 1.27万
• 依托单位: University of Connecticut
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-06-01 至 1991-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8722887&HistoricalAwards=false
• 关键词: U.S.; New; Zealand; Cooperative; Research

This award will enable collaborative research between Dr. Manuel Lerman of the University of Connecticut and Dr. Rodney Downey of the Victoria University of Wellington, New Zealand. Their research in mathematical logic will focus on the area of recursion theory. They will use the technique of priority argument to study the structural properties of algebraic systems which are defined in terms of the notion of oracle computability. The aim of the project is to gain a better understanding of how information coded by a set is reflected in and can be recovered from algebraic structures. Drs. Lerman and Downey and their associates have a history of productive collaboration. Research in the area of recursion theory will be further enhanced through the "face-to-face" interaction provided under this project.

该奖项将使曼努埃尔博士之间的合作研究， 康涅狄格大学的Lerman和密歇根大学的Rodney唐尼博士 新西兰惠灵顿的维多利亚大学。 他们的 数理逻辑的研究将集中在递归领域 理论 他们将使用优先论证的技术来研究 代数系统的结构性质， 甲骨文可计算性的概念。 该项目的目的是更好地了解如何 由集合编码的信息反映在 代数结构。 勒曼和唐尼医生 同事们有着富有成效的合作历史。 研究 在递归理论的领域将进一步加强， 该项目提供的“面对面”互动。