Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
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
22 Mar 2017
17:00

S17 #04-05 SR2
Frank Stephan
National University of Singapore
Finitely generated semiautomatic groups
15 Mar 2017
17:00

S17 #04-05 SR2
Wu Guohua
Nanyang Technological University
Constructions of dre degrees: hard questions, easy proofs
08 Mar 2017
17:00

S17 #04-05 SR2
Steffen Lempp
University of Wisconsin at Madison
On Cototality and the Skip Operator in the Enumeration Degrees
01 Mar 2017
17:00

S17 #04-05 SR2
YU Hongyuan
Nanyang Technological University
Equivalence relation below \Delta^0_2
15 Feb 2017
17:00

S17 #04-05 SR2
David R. Belanger
National University of Singapore
Pinpointing Fraisse's Conjecture
08 Feb 2017
17:00

S17 #04-05 SR2
01 Feb 2017
17:00

S17 #04-05 SR2
Li Wei
National University of Singapore
Ramsey's theorem for trees (Part II)
25 Jan 2017
17:00

S17 #04-05 SR2
Chong Chi Tat
National University of Singapore
Ramsey's theorem for trees
18 Jan 2017
17:00

S17 #04-05 SR2
Dilip Raghavan
National University of Singapore
Michael's problem
16 Nov 2016
17:00

S17 #04-05 SR2
09 Nov 2016
17:00

S17 #04-05 SR2
David Belanger
National University of Singapore
An effective perfect-set theorem
04 Nov 2016
14:00

S17 #07-24

h1
vc1