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

该奖项将促进康涅狄格大学的曼努埃尔·勒曼博士和新西兰惠灵顿维多利亚大学的罗德尼·唐尼博士之间的合作研究。他们在数理逻辑方面的研究将集中在递归理论领域。他们将使用优先级论证技术来研究代数系统的结构特性，这些特性是根据Oracle可计算性的概念定义的。该项目的目的是更好地了解由集合编码的信息是如何反映在代数结构中以及如何从代数结构中恢复的。勒曼博士和唐尼博士以及他们的同事有着卓有成效的合作历史。通过该项目提供的“面对面”互动，将进一步加强递归理论领域的研究。

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.