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.