Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics PDF
Preview Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
B1948 Governing Asia TTTThhhhiiiissss ppppaaaaggggeeee iiiinnnntttteeeennnnttttiiiioooonnnnaaaallllllllyyyy lllleeeefffftttt bbbbllllaaaannnnkkkk BB11994488__11--AAookkii..iinndddd 66 99//2222//22001144 44::2244::5577 PPMM World Scientific Published by World Scientific Publishing Co. Pte. Ltd. 5 Toh Tuck Link, Singapore 596224 USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601 UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE British Library Cataloguing-in-Publication Data A catalogue record for this book is available from the British Library. COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics Copyright © 2022 by World Scientific Publishing Co. Pte. Ltd. All rights reserved. This book, or parts thereof, may not be reproduced in any form or by any means, electronic or mechanical, including photocopying, recording or any information storage and retrieval system now known or to be invented, without written permission from the publisher. For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy is not required from the publisher. ISBN 978-981-125-928-9 (hardcover) ISBN 978-981-125-929-6 (ebook for institutions) ISBN 978-981-125-930-2 (ebook for individuals) For any available supplementary material, please visit https://www.worldscientific.com/worldscibooks/10.1142/12917#t=suppl Printed in Singapore LLaaii FFuunn -- 1122991177 -- CCoommppuuttaabbiilliittyy TThheeoorryy aanndd FFoouunnddaattiioonnss ooff MMaatthheemmaattiiccss..iinndddd 11 66//55//22002222 11::4433::0066 ppmm April13,2022 8:30 WSPC-ProceedingsTrimSize:9inx6in 01˙dedicatn Dedicated to Professor Chitat Chong on the occasion of his 70th birthday B1948 Governing Asia TTTThhhhiiiissss ppppaaaaggggeeee iiiinnnntttteeeennnnttttiiiioooonnnnaaaallllllllyyyy lllleeeefffftttt bbbbllllaaaannnnkkkk BB11994488__11--AAookkii..iinndddd 66 99//2222//22001144 44::2244::5577 PPMM March22,2022 9:35 WSPC-ProceedingsTrimSize:9inx6in 02˙preface vii Preface The aim of Computability Theory and Foundations of Mathematics (CTFM) is to develop computability theory and logical foundations of Mathematics. The scope involves the following topics: Comput- ability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. The CTFM series has been headed by Kazuyuki Tanaka (Tohoku University). And CTFM has been held as the “Workshop on Proof Theory and Computability Theory” and have taken place in Mat- sushima (2008, 2009) and Inawashiro (2010). The previous meetings of CTFM took place in Sendai (2011), Tokyo (2012 to 2016), Singa- pore (2017) and Tokyo (2018). The 9th Computability Theory and Foundations of Mathematics was held in Wuhan, China, from March 21–27, 2019. CTFM 2019 was organized and mainly sponsored by the Department of Math- ematics at Wuhan University of Technology. The program consists of 1 Plenary Lecture by Prof. Chitat Chong (National University of Singapore), 16 Invited Talks and 10 Contributed Talks. The editors wish to thank Wuhan University of Technology for giving us the opportunity to organize this event. We are grateful that the staff members at the Department of Mathematics in Wuhan University of Technology were so helpful and talented in organizing the venue, and taking care of everything for the smooth progress of the event. We are grateful to the members of the local committee, especially to Prof. Liang Zhang and Prof. Huansong Zhou for their hospitalityandsupport.Ourdeepestgratitudegoestothevolunteers whose dedication created a great atmosphere. WeareverypleasedtofindthatWorldScientificwereenthusiastic to publish the CTFM 2019 proceedings. We appreciate all partici- March22,2022 9:35 WSPC-ProceedingsTrimSize:9inx6in 02˙preface viii pants very much for their contributions in the workshop and to this proceedings. We acknowledge also the scientific reviewers who read the articles carefully and gave many important suggestions to the authors. We would like to thank the publishing editor Ms. Lai Fun Kwong and the designer for their help. Thisbookwaspartiallysupportedbythepostgraduatetextbooks and monographs funded construction projects of Wuhan University of Technology and NSFC grant 11701438. NingNing Peng March22,2022 9:40 WSPC-ProceedingsTrimSize:9inx6in 03˙open-speech ix Opening Speech Welcome to the 9th annual meeting of Computability Theory and Foundations of Mathematics. My name is Kazuyuki Tanaka. I am the co-chair of the organizing committee and the founder of CTFM. I really feel honored to have this conference in China for the first time. So, first of all, I would like to express my deep gratitude for the President of Wuhan University of Technology and all the people working for this conference. Tohoku University is the third imperial university in Japan, but it is also well known as the first to admit foreign students such as Lu Xun and Su Buqing, and female students since 1913. The university is located in Sendai, the largest city in Tohoku, namely the north- eastern district. Probably most of you know that a huge earthquake hit eastern Japan in March 2011. Actually, the coastlines were se- riously damaged by Tsunami, but fortunately the Sendai city were almost safe. The first meeting of CTFM was held in February 2011 in Sendai, just a few weeks before the earthquake. In addition, I had organized several predecessor meetings in the suburbs of Sendai before CTFM. Particularly around 2008, when I was chairman of Mathematical In- stitute, our logic group got pretty large by admitting many graduate students including NingNing-san and several postdocs, which even madeourregularseminarsalmostlikesmallinternationalworkshops. After the earthquake, I held the second to the sixth meetings of CTFM in Tokyo, and thereby attracted more and more participants. Then, theseventh were inSingapore, andthe eighth in Tokyo, again. Now, I am happy to have this 9th meeting in China with many of my former students and old friends. I hope this workshop provides everyone here with the opportunity to strengthen international co- operation and advance the new research of mathematical logic.
The list of books you might like
