Seminars

Quick Links

List All Talks

Colloquium Series

Seminar Series

Applied & Computational Mathematics

Logic

Representation Theory and Number Theory

Topology & Geometry

Optimization

Probability

Others

Previous Talks

Search by Year:

Search by Month:

(for current year)

Search by Date:

Economics
Seminars

Statistics
Seminars

IMS
Events

SMS
Events

NTU Math
Seminars

Logic

Date	Time	Venue	Speaker	Title	Abstract
11 Nov 09	16:45	S14 #03-01	Sanjay JAIN National University of Singapore	Hypothesis Spaces for Learning
11 Nov 09	15:30	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial: Numberings
04 Nov 09	16:45	S14 #03-01	Frank STEPHAN National University of Singapore	Automatic Structures and Model Theory
04 Nov 09	15:30	S14 #03-01	Pavel SEMUKHIN National University of Singapore	Tutorial: Computable Model Theory
28 Oct 09	16:45	S14 #03-01	LI Yanfang National University of Singapore	A Cofinal Family of Borel Equivalence Relations
28 Oct 09	15:30	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial : Numberings
21 Oct 09	16:45	S14 #03-01	SHAO Dongxu National University of Singapore	Introduction to $AD_{R}$
21 Oct 09	15:30	S14 #03-01	Pavel SEMUKHIN National University of Singapore	Tutorial : Computable Model Theory
14 Oct 09	16:45	S14 #03-01	CHONG Chi Tat National University of Singapore	Martin's Conjecture in the Projective Hierarchy
14 Oct 09	15:30	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial : Numberings
07 Oct 09	16:45	S14 #03-01	LI Wei National University of Singapore	Effective Versions of Cantor-Bernstein Theorem
07 Oct 09	15:30	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial : Numberings
30 Sep 09	16:45	S14 #03-01	ZHU huiling National University of Singapore	Playing on Boolean Algebras
30 Sep 09	15:30	S14 #03-01	Pavel SEMUKHIM National University of Singapore	Tutorial : Computable Model Theory
16 Sep 09	16:45	S14 #03-01	WU Liuzhen	(to be announced)
16 Sep 09	15:30	S14 #03-01	Pavel SEMUKHIN National University of Singapore	Tutorial : Computable Model Theory
09 Sep 09	16:45	S14 #03-01	ZHU Yizheng National University of Singapore	Mouse Sets
09 Sep 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial : Algorithmic Randomness
02 Sep 09	16:45	S14 #03-01	PENG Yinhe National University of Singapore	pcf Theory and Applications
02 Sep 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial : Algorithmic Randomness
26 Aug 09	16:45	S14 #03-01	WANG Shenling Nanyang Technological University	O-minimal Structures
26 Aug 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial : Algorithmic Randomness
19 Aug 09	16:45	S14 #03-01	WU Guohua Nanyang Technological University	Construct a High Minimal Pair of Enumeration Degrees
19 Aug 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial - Algorithmic Randomness
29 May 09	16:00	S14 #03-10	Cristian S. CALUDE The University of Auckland, New Zealand	Can Peano Arithmetic Prove Randomness?
15 Apr 09	16:45	S14 #03-01	LEE Yung Hei National University of Singapore	Fuzzifying Game Theory
15 Apr 09	15:30	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial : REA Operators
08 Apr 09	16:45	S14 #03-01	PENG Yinhe National University of Singapore	Reals in Literable Premice
08 Apr 09	15:30	S14 #03-01	Dieter SPREEN Universität Siegen, Germany	An Intrinisic Characterization of Effective Topologies
01 Apr 09	16:45	S14 #03-01	ZHU Yizheng National University of Singapore	The Covering Lemma
01 Apr 09	15:30	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial: REA Operators
25 Mar 09	16:45	S14 #03-01	LIU Jiang Nanyang Technological University	The Constructions of Minimal r.e. Truth-table Degrees
25 Mar 09	15:30	S14 #03-01	Makoto TATSUTA	Types for Hereditary Permutators
18 Mar 09	16:45	S14 #03-01	SHAO Dongxu National University of Singapore	Analytic Determinacy
18 Mar 09	15:30	S14 #03-01	YU Liang National University of Singapore	Tutorial: On Countable Admissible Ordinals
11 Mar 09	16:45	S14 #03-01	LI Yanfang National University of Singapore	Countable Borel Equivalence Relations
11 Mar 09	15:30	S14 #03-01	YU Liang National University of Singapore	Tutorial: On Steel’s paper “Forcing with Tagged Trees”
04 Mar 09	16:45	S14 #03-01	ZHU Huiling National University of Singapore	Compact Cardinals
04 Mar 09	15:30	S14 #03-01	YU Liang National University of Singapore	Tutorial: On Steel’s paper “Forcing with Tagged Trees”
18 Feb 09	16:45	S14 #03-01	Sy David FRIEDMAN Kurt Gödel Research Center, Austria	The Effective Theory of Borel Equivalence Relations
18 Feb 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Inductive Inference
11 Feb 09	16:45	S14 #03-01	Johanna FRANKLIN National University of Singapore	Subclasses of the Kurtz Random Reals
11 Feb 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial - Inductive Inference
04 Feb 09	16:45	S14 #03-01	YANG Yue National University of Singapore	PART and Sigma_2 Collection Principle
04 Feb 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial - Inductive Inference
21 Jan 09	16:45	S14 #03-01	John CASE University of Delaware, USA	Three Computability Topics: 1. Characterization for self-reference in numberings; 2. Complementation for self-reference in numberings; 3. Learning Ers
21 Jan 09	15:30	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial - Inductive Inference
12 Nov 08	16:00	S14 #03-01	Johanna FRANKLIN National University of Singapore	van Lambalgen's Theorem and Weaker Randomness Notions
12 Nov 08	15:00	S14 #03-01	Pavel SEMUKHIN National University of Singapore	Automatic Structures (IV)
05 Nov 08	16:00	S14 #03-01	Frank STEPHAN National University of Singapore	Numberings Optimal for Learning
05 Nov 08	15:00	S14 #03-01	Pavel SEMUKHIN National University of Singapore	Automatic Structures (III)
29 Oct 08	16:00	S14 #03-01	YANG Sen	Real Numbers in a Subuniverse
29 Oct 08	15:00	S14 #03-01	Pavel SEMUKHIN National University of Singapore	Automatic Structures (II)
22 Oct 08	16:00	S14 #03-01	SHEN Demin National University of Singapore	The story of 0^#
22 Oct 08	15:00	S14 #03-01	Pavel SEMUKHIN National University of Singapore	Automatic Structures (I)
15 Oct 08	17:00	S14 #03-01	QUEK Yin Kang National University of Singapore	Godel’s Ontological Proof
15 Oct 08	16:00	S14 #03-01	LI Yanfang National University of Singapore	Analytic Equivalence Relations Induced by Group Actions
15 Oct 08	15:00	S14 #03-01	WU Guohua Nanyang Technological University	Intermediate Degrees (II)
08 Oct 08	16:00	S14 #03-01	LIU Jiang Nanyang Technological University	Minimal Pair Strategy in tt-degrees - and its Application
08 Oct 08	15:00	S14 #03-01	WU Guohua Nanyang Technological University	Intermediate Degrees (I)
17 Sep 08	16:00	S14 #03-01	WU Liuzhen	The Abstract Condensation Property
17 Sep 08	15:00	S14 #03-01	Johanna FRANKLIN National University of Singapore	Reverse Mathematics (IV)
10 Sep 08	16:00	S14 #03-01	TAN Wai Yean National University of Singapore	Modified Moore Machines
10 Sep 08	15:00	S14 #03-01	Johanna FRANKLIN National University of Singapore	Reverse Mathematics (III)
27 Aug 08	16:00	S14 #03-01	WANG Wei National University of Singapore	Uncountable Embeddings into the Turing Degrees
27 Aug 08	15:00	S14 #03-01	Johanna FRANKLIN National University of Singapore	Reverse Mathematics (II)
20 Aug 08	16:00	S14 #03-01	YANG Yue National University of Singapore	High Minimal Pairs in Enumeration Degrees
20 Aug 08	15:00	S14 #03-01	Johanna FRANKLIN National University of Singapore	Reverse Mathematics (I)
23 Jul 08	13:00	S14 #03-09	Keng Meng NG Victoria University of Wellington, New Zealand	Traceability of the Jump and its Connection to Algorithmic Randomness
16 Jul 08	14:00	S14 #03-09	Mr Daisuke IKEGAMI University of Amsterdam	Forcing Absoluteness and Regularity Properties
09 Jul 08	14:00	S14 #03-09	Jan REIMANN University of California at Berkeley, USA	Effective Geometric Measure Theory
23 Apr 08	16:00	S14 #03-05	YU Liang National University of Singapore	On Martin's Proof of a Conjecture of Friedman
23 Apr 08	15:00	S14 #03-05	Noam GREENBERG	The Upward Closure of a Thin Pi-0-1 Class
16 Apr 08	16:00	S14 #03-01	SHEN Demin National University of Singapore	Determinancy axioms and large cardinals
16 Apr 08	15:00	S14 #03-01	LIU Jiang National University of Singapore	Infima and Branching of c.e. Truth Table Degrees
09 Apr 08	16:00	S14 #03-01	JIN Chenyuan National University of Singapore	Recursive Unsolvability and Second-Order Arithmetic
09 Apr 08	15:00	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial on Pi-0-1-classes
19 Mar 08	16:00	S14 #03-01	ZHU Huiling National University of Singapore	An Introduction to Shelah's pcf Theory
19 Mar 08	15:00	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial on Pi-0-1-classes
12 Mar 08	16:00	S14 #03-01	Thomas Franklin KENT University of Siena, Italy	The Complexity of Theories of Mathematical Structures
12 Mar 08	15:00	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial on Pi-0-1-classes
05 Mar 08	16:00	S14 #03-01	LEE Yanfang National University of Singapore	Glimm-Effros Dichotomy of Borel Equivalence Relations
05 Mar 08	15:00	S14 #03-01	WU Guohua Nanyang Technological University	Tutorial on Pi-O-1-classes
20 Feb 08	16:00	S14 #03-01	WANG Shenling	Foundations of Computable Model Theory
20 Feb 08	15:00	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial on Inductive Inference
13 Feb 08	16:00	S14 #03-01	FENG Qi National University of Singapore	A New Characterization of Supercompactness and its Applications
13 Feb 08	15:00	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial on Inductive Inference
30 Jan 08	16:00	S14 #03-01	CHONG Chi Tat National University of Singapore	Undecidability of the Theory of Alpha-degrees
30 Jan 08	15:00	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial on Inductive Inference
23 Jan 08	16:00	S14 #03-01	YANG Yue National University of Singapore	Computability over Real Numbers
23 Jan 08	15:00	S14 #03-01	Frank STEPHAN National University of Singapore	Tutorial on Inductive Inference
14 Nov 07	15:00	S14 #03-01	JIN Chenyuan National University of Singapore	Sacks Density Theorem
14 Nov 07	14:00	S14 #03-01	Minh Chieu TRAN	Should the Universe of Sets be Constructible?
07 Nov 07	14:00	S14 #03-01	LI Yanfang National University of Singapore	Martin's Axiom
31 Oct 07	15:00	S14 #03-01	LIU Jiang Nanyang Technological University	Isolation, Infima and Diamond Embeddings
24 Oct 07	15:00	S14 #03-01	Rod DOWNEY Victoria University of Wellington, New Zealand	Strong Jump Traceability and Variations
17 Oct 07	15:00	S14 #03-01	SHEN Demin National University of Singapore	Silver's Work on Singular Cardinal Problem
10 Oct 07	14:00	S14 #03-01	WU Liuzhen Chinese Academy of Sciences, China	Five Element Basis for Uncountable Linear Order
03 Oct 07	15:00	S14 #03-01	PONG Wai Yan National University of Singapore	Homogeneous Graphs of Finite Degree
19 Sep 07	15:00	S14 #03-01	WANG Wei National University of Singapore	Upper Bounds of Arithmetic Turing Degrees
12 Sep 07	14:00	S14 #03-01	YANG Sen National University of Singapore	A Combinatorial Principle Introduced by Moore: Mapping Reflection Principle
05 Sep 07	15:00	S14 #03-01	Johanna FRANKLIN National University of Singapore	Schnorr Triviality and Genericity
29 Aug 07	15:00	S14 #03-01	WU Guohua Nanyang Technological University	Cuppable Degrees and Noncuppable Pairs
22 Aug 07	15:00	S14 #03-01	Frank STEPHAN National University of Singapore	Learning in Friedberg Numberings
25 Jul 07	15:00	S14 #03-09	Hugh WOODIN University of California, Berkeley, USA	Transfinite Determinacy
18 Jul 07	15:00	S14 #03-10	Theodore SLAMAN University of California at Berkeley, USA	A Basis Theorem for Perfect Sets
11 Jul 07	15:00	S14 #03-10	Jason TEUTSCH University of Chicago, USA	A Short History of Shortest Programs
04 Apr 07	15:00	S14 #03-01	TUNG Shih Ping Chung Yuan Christian University, Taiwan	Computational Complexity of Diophantine Problems
21 Mar 07	14:30	S14 #03-01	HU Qi National University of Singapore	Randomness of the Linear Recurring Sequences and Stream Ciphers
14 Mar 07	15:00	S14 #03-01	TAN Weiyu Colin National University of Singapore	Undefinability of Truth in Arithmetical Theories
07 Mar 07	14:00	S14 #03-01	CHONG Chi Tat National University of Singapore	Interpreting Finite Bipartite Graphs in the alpha-degrees
28 Feb 07	15:00	S14 #03-01	Frank STEPHAN National University of Singapore	The Complexity of the Set of Nonrandom Numbers
21 Feb 07	14:30	S14 #03-01	Prof Makoto TATSUTA National Institute of Informatics, Japan	Simple Saturated Sets for Disjunction and Second-order Existential Quantification
14 Feb 07	15:00	S14 #03-01	Bakhodyr KHOUSSAINOV The University of Auckland, New Zealand	Algorithmic Dimensions of Structures
07 Feb 07	14:30	S14 #03-01	Frank STEPHAN National University of Singapore	Input-dependence in Function-learning
31 Jan 07	14:30	S14 #03-01	John CASE University of Delaware	Answering The Mathematical Objection to Machine Intelligence: An Application of Machine Self-reflection
17 Jan 07	14:30	S14 #03-01	WU Guohua Nanyang Technological University	Cupping to 0' in the Enumeration Degrees
06 Dec 06	14:30	S14 #03-01	George BARMPALIAS University of Leeds, UK	Randomness, Lowness and Degrees
22 Nov 06	14:30	S14 #03-01	WU Liuzhen Chinese Academy of Sciences, China	Kaplansky's Problem (continued)
15 Nov 06	14:30	S14 #03-09	WU Liuzhen Chinese Academy of Sciences, China	Kaplansky's Problem
08 Nov 06	14:30	S14 #03-01	YANG Sen Chinese Academy of Sciences, China	Whitehead's Problem (continued)
01 Nov 06	14:30	S14 #03-01	YANG Sen Chinese Academy of Sciences, China	Whitehead's Problem
25 Oct 06	14:30	S14 #03-01	Guohua WU Nanyang Technological University	Infima in the d.c.e. Degrees
18 Oct 06	14:30	S14 #03-01	LIU Jiang Nanyang Technological University	A Note to Forcing Axiom A and Partition of omega
04 Oct 06	14:00	S14 #03-01	Wolfgang MERKLE University of Heidelberg, Germany	Kolmogorov Complexity and the Recursion Theorem
20 Sep 06	14:30	S14 #03-01	Frank STEPHAN National University of Singapore	The Dimension Problem - Recent Results
13 Sep 06	14:30	S14 #03-01	WU Guohua Nanyang Technological University	Cupping, Lempp Conjecture and its Dual
06 Sep 06	14:30	S14 #03-01	CHONG Chi Tat National University of Singapore	A Revisit to Degree Theory on $\aleph_{\omega_1}^L$
23 Aug 06	14:30	S14 #03-01	Frank STEPHAN National University of Singapore	Applications of Kolmogorov Complexity to Computable Model Theory
26 Jul 06	14:30	S14 #03-01	Frank STEPHAN National University of Singapore	Computable Categoricity and Ershov Hierarchy
12 Jul 06	14:30	S14 #03-09	YU Liang National University of Singapore	The Theory of Higher Randomness
05 Jul 06	14:30	S14 #03-01	W H WOODIN University of California at Berkeley, USA	Beyond Omega Huge
15 Jun 06	14:30	S14 #03-01	Renling JIN College of Charleston, USA	?_1-Tree, Kurepa Tree, and Related Consistency Problems
10 May 06	14:30	S14 #03-01	Rod DOWNEY Victoria University, New Zealand	Ideals in Computable Commutative Rings