This award supports Professor Phokion Kolaitis, University of California, Santa Cruz, to collaborate in applied mathematics with Professor Jouko Vaananen, Department of Mathematics, University of Helsinki, Finland. They propose to undertake a systematic investigation of finite model theory from the perspective of abstract model theory. The combination of their complementary expertise in these areas should produce significant conceptual and theoretical contributions to finite model theory.. Finite model theory is the study of first-order logic and its extensions on finite structures. It is an area of research within logic in computer science that has had numerous interactions with mathematical logic, database theory, and computational complexity. Logicians have developed such a theory of extended logics on arbitrary structures, known as abstract model theory. So far no general theory of extended logics on finite structures exists. The proposed collaborative research will expand the current framework of this important area of logic.

Agency
National Science Foundation (NSF)
Institute
Office of International and Integrative Activities (IIA)
Type
Standard Grant (Standard)
Application #
9024681
Program Officer
Christine French
Project Start
Project End
Budget Start
1991-08-01
Budget End
1996-07-31
Support Year
Fiscal Year
1990
Total Cost
$17,790
Indirect Cost
Name
University of California Santa Cruz
Department
Type
DUNS #
City
Santa Cruz
State
CA
Country
United States
Zip Code
95064