Rosalio Jr. Artes Mindanao State University - Tawi-Tawi College of Technology and Oceanography, Philippines | |
Joan Bagaria Universitat de Barcelona, Spain | On the preservation of very large cardinals under class forcing (PDF) |
Vittorio Bard Università Degli Studi Di Torino, Italy | Uniform Martin's conjecture, locally |
Nikolay Bazhenov Sobolev Institute of Mathematics, Russia | |
Laurent Bienvenu LIRMM, Université de Montpellier, France | |
Joerg Brendle Kobe University, Japan | Complexity of maximal objects (PDF) |
Andres Caicedo Mathematical Reviews (American Mathematical Society), USA | |
Scott Cramer California State University, San Bernardino , USA | Algebraic properties of elementary embeddings (PDF) |
James Cummings Carnegie Mellon University, USA | |
Adam Day Victoria University of Wellington, New Zealand | A completeness criterion for Borel sets |
Rod Downey Victoria University of Wellington, NZ | Foundations of online model theory (PDF) |
Qi Feng Chinese Academy of Sciences, China | |
Su Gao University of North Texas , USA | Decision problems in Borel combinatorics |
Ziyuan Gao National University of Singapore, Singapore | |
Moti Gitik Tel Aviv University , Israel | Extending filters to ultrafilters (Video) |
Gabriel Goldberg Harvard University, USA | |
Noam Greenberg Victoria University of Wellington, New Zealand | True stages and hyperarithmetic isomorphisms |
Marcia Groszek Dartmouth College, USA | The implicitly constructible universe (PDF) |
Stephen Jackson University of North Texas, USA | Definable unions of smooth equivalence relations (PDF) |
Takayuki Kihara Nagoya University, Japan | BQO-Wadge degrees on nonseparable ultrametric spaces and computability on uncountable cardinals |
Bjorn Kjos-Hansseen University of Hawai'i at Mānoa , USA | Permutations of the integers, automorphisms of the Turing degrees, and arithmetically presentable groups (PDF) |
Antonín Kučera Charles University, Czech Republic | |
Masahiro Kumabe The Open University of Japan, Japan | |
Paul Larson Miami University, USA | Tutorial on AD+ (Videos) |
Steffen Lempp University of Wisconsin, USA | |
Weiquan Lim National University of Singapore, Singapore | |
Yiqun Liu National University of Singapore, Singapore | |
Yong Liu Nanyang Technological University, Singapore | |
Patrick Lutz University of California, Berkeley, USA | |
Menachem Magidor The Hebrew University of Jerusalem, Israel | Are all singular cardinals born equal? The case of ℵω and ℵω2 Public Lecture: |
Andrew Marks University of California, Los Angeles, USA | |
Joe Miller University of Wisconsin–Madison, USA | Relativizing to an enumeration oracle (PDF) |
Mina Mohammadian Australian National University, Australia | |
Benoît Monin LACL, Créteil University, France | SRT22 vs RT22 in ω-models (PDF) |
Antonio Montalban University of California, Berkeley, USA | Tutorial on hyperarithmetic sets and computable structure theory |
Andrey Morozov Sobolev Institute of Mathematics, Novosibirsk State University, Russia | On Σ-preorderings over the reals (PDF) |
Keng Meng Ng Nanyang Technological University, Singapore | |
Andre Nies The University of Auckland, New Zealand | Effective metric Scott analysis (PDF) |
Cheng Peng Nankai University, China | |
Jan Reimann Pennsylvania State University, USA | |
Marcin Sabok McGill University, Canada | Measurable Hall's theorem for actions of abelian groups (PDF) |
Luca San Mauro Vienna University of Technology, Austria | |
Ralf Schindler Universität Münster, Germany | MM++ implies (*) |
Philipp Schlicht University of Bristol, UK | Randomness notions for infinite time Turing machines (PDF) |
Noah Schweber University of Wisconsin–Madison, USA | Uniform reductions in computable structure theory (PDF) |
Luke Serafin Carnegie Mellon University, USA | |
Xianghui Shi Beijing Normal University, China | |
Richard A. Shore Cornell University, USA | Σ11 in every real in a Σ11 class or reals is Σ11 |
Stephen G. Simpson Vanderbilt University, USA | Turing degrees of hyperjumps |
Theodore A. Slaman University of California, Berkeley, USA | Distinguished Visitor Lecture Series: Distinguished Visitor Lecture Series: |
Slawomir Solecki Cornell University, USA | Polishable equivalence relations |
Alexandra A. Soskova Sofia University, Bulgaria | Coding in graphs and linear orderings (PDF) |
Mariya Soskova University of Wisconsin–Madison, USA | The enumeration degrees: an overview (PDF) |
John R. Steel University of California, Berkeley, USA | Mouse pairs and Suslin cardinals |
Frank Stephan National University of Singapore, Singapore | |
Wai Shing Tang National University of Singapore, Singapore | |
Zuyao Teoh Universiti Sains Malaysia, Malaysia | |
Henry Towsner University of Pennsylvania, USA | Caristi's theorem and approximating π11 comprehension |
Hong Hanh Tran Nanyang Technological University, Singapore | |
Toshimichi Usuba Waseda University, Japan | Choiceless set-theoretic geology (PDF) |
Philip Welch University of Bristol, UK | Quasi-inductive definitions and generalised recursion in higher types |
Linda Brown Westrick Pennsylvania State University, USA | Determined Borel sets and measurability |
Tin Lok Wong National University of Singapore, Singapore | |
W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA | Distinguished Visitor Lecture Series: A new basis theorem for ∑13 sets Distinguished Visitor Lecture Series: |
Guohua Wu Nanyang Technological University, Singapore | |
Liuzhen Wu Chinese Academy of Sciences, China | On the minimal size of a basis for uncountable linear order (PDF) |
Yue Yang National University of Singapore, Singapore | |
Keita Yokoyama Japan Advanced Institute of Science and Technology, Japan | Approaching the first-order part of Ramsey's theorem for pairs and two colors (PDF) |
Liang Yu Nanjing University, China | Some applications of recursion theoretical methods to set theory (PDF) |
Bowen Yuan Nanyang Technological University, Singapore | |
Jiachen Yuan University of Chinese Academy of Sciences, China | |
Yizheng Zhu University of Chinese Academy of Sciences, China | Indiscernibles for L[T3] (PDF) |