The Chinese Annual Conference on Mathematical Logic 2022 (CACML2022) was held online from November 25 to 27, 2022. The conference was organized by theProfessional Committee on Mathematical Logic of the Chinese Mathematical Society and hosted by Anhui Polytechnic University, and it was funded by the National Natural Science Foundation of China. The conference attracted more than 100 domestic and foreign scholars to participate online. They include Prof. Stevo Todorcevic from the University of Toronto, Fellow of the Royal Society of Canada, Prof. Antonio Montalban from the University of California, Berkeley, Prof. Boris Zilber from the University of Oxford, Prof. Jin Renlin from the College of Charleston, Prof. Zhang Shuguo from Sichuan University, Prof. Slawomir Solecki from Cornell University, Researcher Qi Feng, former President of the East Asia Chapter of the Association for Symbolic Logic and Director of the Association for Symbolic Logic, Professor Bin Zhao, former Vice President of Shaanxi Normal University, Professor Su Gao, Chair Professor of Nankai University, Professor Ding Longyun, Director of the Professional Committee on Mathematical Logic of the Chinese Mathematical Society and Dean of the School of Mathematical Sciences of Nankai University, Professor Yu Liang, Deputy Director of the the Professional Committee on Mathematical Logic of the Chinese Mathematical Society and Director of the Department of Mathematics of Nanjing University. Prof. Hao Zhaokuan from Fudan University, member of the Translation Committee of the Association for Symbolic Logic, Professor Zhao Xishun from the Institute of Logic and Cognition of Sun Yat-sen University, etc. The participating experts at the conference conducted in-depth academic exchanges and discussions. This conference is a great event in the history of the development of mathematical logic in China, and the conference has achieved a complete success.
There were five plenary lectures at this annual conference. Professor Renlin Jin from the College of Charleston, USA, gave a plenary lecture entitled "Many Levels of Infinities and Multidimension van der Waerden's Theorem". The speaker develop a nonstandard analysis framework and gave a simple nonstandard proof of multidimensional van der Waerden's theorem in this framework.
Professor Antonio Montalban from the University of California, Berkeley, and 45-minute session speaker at the 2014 ICM, gave a plenary lecture entitled "A Robuster Scott Rank". The speaker introduced a new definition of Scott rank where different ways of measuring complexity always match.
Professor Shuguo Zhang from Sichuan University, the first director of the the Professional Committee on Mathematical Logic of the Chinese Mathematical Society, gave a plenary lecture entitled "Ideals, Ultrafilters and Cardinal Invariants of the Continuum". The speaker presented the team's research progress on ideals, ultrafilters and cardinal invariants of the continuum in the last few years.
Professor Stevo Todorcevic from the University of Toronto, a Fellow of the Royal Society of Canada, the Canada Research Chair in mathematics and Director of CNRS, gave a plenary lecture entitled "A Dual Ramsey Theorem for Finite Trees", in which the speaker proved the dual Ramsey theorem for finite trees.
Professor Boris Zilber from the Institute of Mathematics, University of Oxford, gave a plenary lecture entitled "Applied Model Theory beyond first order". The speaker introduced the new developments in model theory and their connection to to number theory and algebraic geometry.