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.