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.