Green functions, correlation functions and differential equations. Classical and quantum exact solutions are established cornerstones in Australian applied mathematical research. In this project, we will:- 1). Address long standing open problems, whose resolution will add to mathematical knowledge and enhance Australia's reputation as a leading contributor to these topics; 2). List concrete and tractable sub-projects that will engage young scientists, whose training we are particularly keen on, ....Green functions, correlation functions and differential equations. Classical and quantum exact solutions are established cornerstones in Australian applied mathematical research. In this project, we will:- 1). Address long standing open problems, whose resolution will add to mathematical knowledge and enhance Australia's reputation as a leading contributor to these topics; 2). List concrete and tractable sub-projects that will engage young scientists, whose training we are particularly keen on, in vigorous and internationally competitive research; 3). Facilitate collaborations between various Australian research groups, all of whom are very well positioned to contribute to it; 4). Bring leading scientists to visit Australia to the benefit of the entire Australian mathematical community.Read moreRead less
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 ....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.Read moreRead less