Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
07 Nov 2019
17:00

S17 #06-11
Chong Chi Tat
National University of Singapore
The work of Gerald Sacks
24 Oct 2019
17:00

S17 #06-11
Yang Yue
National University of Singapore
Ramsey's Theorem on trees and weak Koenig's Lemma
17 Oct 2019
17:00

S17 #06-11
10 Oct 2019
17:00

S17 #06-11
Ashutosh Kumar
National University of Singapore
On partitions into null sets
03 Oct 2019
17:00

S17 #06-11
Dilip Raghavan
National University of Singapore
All ultrafilters in L(R)[U] are rapid
12 Sep 2019
17:00

S17 #06-11
Gao Ziyuan
National University of Singapore
The one-cop-moves game on planar graphs
05 Sep 2019
17:00

S17 #06-11
Samuel Alfaro Tanuwijaya

Pseudo-finite fields
29 Aug 2019
17:00

S17 #06-11
Chong Chi Tat
National University of Singapore
Revisiting Seetapun's theorem with his disjunction
22 Aug 2019
17:00

S17 #06-11
16 Jul 2019
16:00

S17 #04-06 SR1
Andre Nies
University of Auckland
Random sequences of quantum bits
08 May 2019
17:00

S17 #04-06 SR1
Borisa Kuzeljevic
University of Novi Sad
Matrices of countable elementary submodels
17 Apr 2019
17:00

S17 #04-06 SR1
10 Apr 2019
17:00

S17 #04-06 SR1
03 Apr 2019
17:00

S17 #04-06 SR1
Wu Guohua
Nanyang Technological University
wtt-degrees of dre sets
27 Mar 2019
17:00

S17 #04-06 SR1
Ashutosh Kumar
National University of Singapore
Order dimension of Turing degrees
13 Mar 2019
17:00

S17 #04-06 SR1
Wong Tin Lok
National University of Singapore
End extensions and subsystems of second-order arithmetic
06 Mar 2019
17:00

S17 #04-06 SR1
Dilip Raghavan
National University of Singapore
A small ultrafilter number
20 Feb 2019
17:00

S17 #04-06 SR1
13 Feb 2019
17:00

S17 #04-06 SR1
Matthias Baaz
Technical University of Vienna
On the benefit of unsound rules: Henkin quantifiers and beyond
30 Jan 2019
17:00

S17 #04-06 SR1