U.S.-Federal Republic of Germany Cooperative Research in    Mathematical Logic
{'Code': '01090000', 'Directorate': {'Abbreviation': 'O/D', 'LongName': 'Office Of The Director'}, 'Division': {'Abbreviation': 'OISE', 'LongName': 'Office Of Internatl Science &Engineering'}}
{'SignBlockName': 'Christine French', 'PO_EMAI': None, 'PO_PHON': None}
This award supports several short term research visits to the Federal           Republic of Germany by Robert Soare and Theodore Slaman of the                  University of Chicago and Steffen Lempp of Yale University in order             to collaborate with Klaus Ambos-Spies of the University of Heidelberg           in several topics of mathematical logic.  In particular, they will              pursue research on recursive function theory and the theory of                  computation.  The University of Chicago (where Lempp recently                   obtained his PhD) is a major center of research on these topics and             these U.S. mathematicians have produced some outstanding                        contributions to the field.  Germany has a long and distinguished               tradition in this field as well, and Professor Ambos-Spies is a                 leading figure in recursive function theory there.  He has also done            extensive research in applications of the methods of recursive                  function theory to computational complexity.  Previous intermittent             collaboration between Professors Soare and Ambos-Spies has been                 mutually stimulating and productive.  The proposed visits will allow            more frequent collaboration between them and the inclusion of two               other U.S. mathematicians whose work is directly relevant to that of            Ambos-Spies.                                                                                                                                                    Mathematical logic and particularly recursive function theory and the           theory of computation have recently been very active in the U.S. and            abroad.  Recursion theory arises from an attempt to formalize what it           means for a set to be mechanically definable, and thus it has                   applications to theoretical computer science and the theory of                  computational complexity.
{'FirstName': 'Robert', 'LastName': 'Soare', 'PI_MID_INIT': 'I', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Robert I Soare', 'EmailAddress': 'soare@math.uchicago.edu', 'NSF_ID': '000198309', 'StartDate': '07/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Chicago', 'CityName': 'CHICAGO', 'ZipCode': '606375418', 'PhoneNumber': '7737028669', 'StreetAddress': '5801 S ELLIS AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Illinois', 'StateCode': 'IL', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'IL01', 'ORG_UEI_NUM': 'ZUE9HKT2CLC9', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF CHICAGO', 'ORG_PRNT_UEI_NUM': 'ZUE9HKT2CLC9'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '5936', 'Text': 'GERMANY (F.R.G.)'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8722296.xml'}