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.

Project Start
Project End
Budget Start
1991-09-15
Budget End
1995-08-31
Support Year
Fiscal Year
1990
Total Cost
$25,450
Indirect Cost
Name
Calvin College
Department
Type
DUNS #
City
Grand Rapids
State
MI
Country
United States
Zip Code
49546