Discovery Projects - Grant ID: DP0666120

Funding Activity

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Equivalence Relations, Group Actions, and Descriptive Set Theory. This project is a contribution to basic and foundational research in the area of Pure Mathematics generally and Mathematical Logic specifically. Logic in particular appears in disciplines as diverse as Computer Science,Linguistics, and Philosophy, and the development of logic in these fields has been profoundly influenced by the foundational work of mathematical logicians. The innovative techniques introduced in this proposal will enable Australia to maintain a position at the forefront of Pure Mathematics, and by recruiting a recent winner of the highly prestigious Karp prize the country will be instantly established as one of the leading centers of Mathematical Logic.

Funded Activity Details

Start Date: 22-07-2006

End Date: 31-07-2012

Funding Scheme: Discovery Projects

Funding Amount: $755,300.00

Funder: Australian Research Council