Mathematical Sciences: Mathematical Logic and Applications
{'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}
The general theme of Keisler's research will be to develop                 the model theory of structures with measures, particularly using                the Loeb measure construction.  He will also study the                          possibilities of applying these model theoretic methods to                      related areas of mathematics, particularly probability theory.                       In logic programming, Kunen will work on the semantics of                  Prolog, attempting to construct a language in which the                         declarative semantics corresponds exactly to the procedural                     semantics.  In set-theoretic topology, Kunen will study                         combinatorial properties of countable sets under Martin's Axiom.                     Miller will work on various problems in set theory.  Most of               these problems are about independence and consistency results in                axiomatic set theory.  This means that the problem involves                     showing some particular statement cannot be proved or disproved                 from the usual axioms of set theory.
[{'FirstName': 'H. Jerome', 'LastName': 'Keisler', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'H. Jerome Keisler', 'EmailAddress': None, 'NSF_ID': '000428505', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Kenneth', 'LastName': 'Kunen', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Kenneth Kunen', 'EmailAddress': 'Kunen@math.wisc.edu', 'NSF_ID': '000173547', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'Arnold', 'LastName': 'Miller', 'PI_MID_INIT': 'W', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Arnold W Miller', 'EmailAddress': 'miller@math.wisc.edu', 'NSF_ID': '000296774', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'University of Wisconsin-Madison', 'CityName': 'MADISON', 'ZipCode': '537151218', 'PhoneNumber': '6082623822', 'StreetAddress': '21 North Park Street', 'StreetAddress2': 'Suite 6301', 'CountryName': 'United States', 'StateName': 'Wisconsin', 'StateCode': 'WI', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'WI02', 'ORG_DUNS_NUM': '161202122', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF WISCONSIN SYSTEM', 'ORG_PRNT_DUNS_NUM': '041188822'}
{'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': '8801139.xml'}