逸仙逻辑讲坛第五十九期｜Strong Logics and generalised quantifier models

主讲人简介 

Philip Welch is Professor of Pure Mathematics at the School of Mathematics at the University of Bristol. His research interests include Set Theory, Determinacy and Inner Models, Philosophy of Mathematics, Theories of Truth as well as Transfinite computational models. He served as the Elected President of the British Logic Colloquium in 2014 and as the Elected President of the European Set Theory Society from 2022 until 2025. He has been an editorial board member of various international journals including the Journal of Symbolic Logic as a managing editor from 2016 until 2019. He was the Chair in Mathematica Logic in the Graduate School of Science and Technology at the Kobe University where he and his colleagues set up a new research group in set theory in Japan. Since 2004, he has been playing a major role in setting up a group in Mathematical Logic and Philosophy at the University of Bristol together with colleagues in the Department of Philosophy. He has more than 80 publications in first-rate international journals. Philip Welch是布里斯托大学数学学院的理论数学教授。研究领域包括集合论、确定性与内模型、数学哲学、真理理论以及超限计算模型。于 2014 年当选英国逻辑研讨会主席，并于 2022 年至 2025 年当选欧洲集合论学会主席。曾担任多家国际期刊的编委，包括 2016 年至 2019 年担任《Journal of Symbolic Logic》的执行主编。曾任神户大学理工学研究科数理逻辑学科负责人，在日本组建了集合论研究团队。自 2004 年以来，他与哲学系的同事们共同在布里斯托大学组建了数理逻辑与哲学研究团队，并发挥了重要作用。在一流国际期刊上发表了 80 多篇论文。
 

 讲座摘要 
Kennedy, Magidor and Vaananen have defined a variety of models generalising Gödel's constructible universe L, using logics going beyond first order. We survey these and give some results involving the Härtig quantifier, and fragments of the regularity quantifier (the latter joint with Christopher Henney-Turner).