Institute for Mathematical Sciences

Higher Recursion Theory and Set Theory

in celebration of the research work of Professors Theodore A. Slaman and W. Hugh Woodin

(20 May - 14 Jun 2019)

Visitor List

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

(PDF)

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

(PDF)

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

(PDF)

Ziyuan Gao
National University of Singapore, Singapore
Moti Gitik
Tel Aviv University , Israel

Extending filters to ultrafilters

Gabriel Goldberg
Harvard University, USA
Noam Greenberg
Victoria University of Wellington, New Zealand

True stages and hyperarithmetic isomorphisms

(PDF)

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

(PDF)

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+

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

(PDF)


Public Lecture:

Can every mathematical problem be solved?

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

(PDF)

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
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

(PDF)

Stephen G. Simpson
Vanderbilt University, USA

Turing degrees of hyperjumps

(PDF)

Theodore A. Slaman
University of California, Berkeley, USA

Distinguished Visitor Lecture Series:

Finding randomness

(PDF)


Distinguished Visitor Lecture Series:

Finding better randomness

(PDF)

Slawomir Solecki
Cornell University, USA

Polishable equivalence relations

(PDF)

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

(PDF)

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

(PDF)

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

(PDF)

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

(PDF)


Distinguished Visitor Lecture Series:

Counting Woodin cardinals in HOD

(PDF)

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)