Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics [Kõva köide]
Edited by Kazuyuki Tanaka (Tohoku Univ, Japan), Edited by Liang Yu (Nanjing Univ, China), Edited by Yue Yang (Nus, S'pore), Edited by Ningning Peng (Wuhan Univ Of Technology, China), Edited by Guohua Wu (Ntu, S'pore)
This Volume Features The Latest Scientific Developments In The Fields Of Computability Theory And Logical Foundations Of Mathematics As Well As Applications. The Scope Involves The Topics Of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy Of Mathematics, Constructive Mathematics, Theory Of Randomness And Computational Complexity Theory.
Preface
vii
Opening Speech
ix
Organizing Committee and Program Committee
xi
Overview of CTFM 2019
xv
Chi-Tat Chong's Work on Reverse Mathematics
1
(16)
Yue Yang
On One-Variable Fragments of Modal μ-Calculus
17
(30)
Leonardo Pacheco
Wenjuan Li
Kazuyuki Tanaka
Infinite Games, Inductive Definitions and Transfinite Recursion
47
(32)
Kazuyuki Tanaka
Keisuke Yoshii
A Survey of the Distributional Complexity for AND-OR Trees
79
(18)
Weiguang Peng
Rational Sequences Converging to Left-c.e. Reals of Positive Effective Hausdorff Dimension
97
(26)
Hiroyuki Imai
Masahiro Kumabe
Kenshi Miyabe
Yuki Mizusawa
Toshio Suzuki
Takeuti-Yasumoto Forcing Revisited
123
(34)
Satoru Kuroda
Permission and Obligation in Ceteris Paribus
157
(10)
Huimin Dong
Reverse Mathematics of Separation Theorems in Lattice Theory
