Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
26 Apr 2018
17:00

S17 #04-05 SR2
Keita Yokoyama
Japan Advanced Institute of Science and Technology
On the first-order strength of Ramsey's Theorem for Pairs
18 Apr 2018
17:00

S17 #04-06 SR1
Samuel Alfaro Tanuwijaya

Introduction to surreal numbers
11 Apr 2018
17:00

S17 #04-06 SR1
28 Mar 2018
17:00

S17 #04-06 SR1
Wu Guohua
Nanyang Technological University
A result towards Kierstead's conjecture for linear orders
21 Mar 2018
17:00

S17 #04-06 SR1
Birzhan Moldagaliyev

Automatic Randomness Tests.
14 Mar 2018
17:00

S17 #04-06 SR1
David Chodounsky
Institute of Mathematics AS CR
How to kill a P-point
07 Mar 2018
17:00

S17 #04-06 SR1
Wong Tin Lok
National University of Singapore
Induction and collection in arithmetic
21 Feb 2018
17:00

S17 #04-06 SR1
14 Feb 2018
17:00

S17 #04-06 SR1
07 Feb 2018
17:00

S17 #04-06 SR1
David Belanger
National University of Singapore
Randomness versus induction
24 Jan 2018
17:00

S17 #04-06 SR1
Dilip Raghavan
National University of Singapore
An application of PCF theory to cardinal invariants above the continuum
17 Jan 2018
17:00

S17 #04-04 SR3
Frank Stephan
National University of Singapore
Learnability and Positive Equivalence Relations
15 Nov 2017
17:00

S17 #04-04 SR3
Lim Wei Quan
National University of Singapore
Complete predicative type theory (CPTT)
08 Nov 2017
17:00

S17 #04-04 SR3
Desmond Lau
National University of Singapore
p, t and me
01 Nov 2017
17:00

S17 #04-04 SR3
Peng Cheng
National University of Singapore
On transfinite levels of the Ershov hierarchy
25 Oct 2017
17:00

S17 #04-04 SR3
Liang Yu
Nanjing University
Two basis theorems on \Sigma^1_2 sets
11 Oct 2017
17:00

S17 #04-04 SR3
12 Apr 2017
17:00

S17 #04-05 SR2
Michael McInerney
Nanyang Technological University
Multiple Genericity
05 Apr 2017
17:00

S17 #04-05 SR2
Teoh Zu Yao
Univerisiti Sains Malaysia
Ramsey algebras, origin & open problems
29 Mar 2017
17:00

S17 #04-05 SR2
Juris Steprans
York University
Universal structures without saturation