Mathematical Sciences: Logic and Categories
{'Code': '03040200', 'Directorate': {'Abbreviation': 'MPS', 'LongName': 'Direct For Mathematical & Physical Scien'}, 'Division': {'Abbreviation': 'DMS', 'LongName': 'Division Of Mathematical Sciences'}}
{'SignBlockName': 'Ralph M. Krause', 'PO_EMAI': None, 'PO_PHON': None}
Mathematical logic and algebra have always had a certain                   affinity and have been drawing closer in some ways in recent                    years.  The research project of A. Blass deals with several                     problems at the interface between category theory, particularly                 topos theory, on the one hand, and logic, particularly set                      theory and combinatorics, on the other hand.  The problems lie in               three general areas:  (1) logical aspects of geometric morphisms                and classifying topoi, (2) set theory in topoi, and (3)                         applications of the category-theoretic perspective to concepts in               set theory and combinatorics.
{'FirstName': 'Andreas', 'LastName': 'Blass', 'PI_MID_INIT': 'R', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Andreas R Blass', 'EmailAddress': 'ablass@umich.edu', 'NSF_ID': '000321101', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Regents of the University of Michigan - Ann Arbor', 'CityName': 'ANN ARBOR', 'ZipCode': '481091079', 'PhoneNumber': '7347636438', 'StreetAddress': '1109 GEDDES AVE, SUITE 3300', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Michigan', 'StateCode': 'MI', 'CONGRESSDISTRICT': '06', 'CONGRESS_DISTRICT_ORG': 'MI06', 'ORG_UEI_NUM': 'GNJ7BBP73WE9', 'ORG_LGL_BUS_NAME': 'REGENTS OF THE UNIVERSITY OF MICHIGAN', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '1268', 'Text': 'FOUNDATIONS'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8801988.xml'}