Courses
*Generally I don't travel to overseas from September
to December every year due to the teaching duty.
|
[1] Probability and statistics. 2:00-4:00pm Wednesday, 8:00-10:00am Friday. Sep, 2006-Jan, 2007
[2] Shelah's solution to Whithead probelm. 2:00-4:00pm Tuesday, 10:00-12:00am Saturday. Sep, 2006-Jan, 2007
I shall give a series of talks which cover basic facts in model theory, constructibility and forcing.
Finally I shall present Shelah's proof on Whitehead problem. Yonghua's talk will cover basic facts in Homological algebra.
[3] An introduction to mathematical logic. 9:00-11:00am Saturday. Mar, 2007-May, 2007
This would be an informal introduction to mathematical logic. I intend to cover Godel's incompleteness theorem (with an informal proof),
Godel's constructibility and Cohen's forcing. Some connections between mathematical logic and the other mathematical branches will be discussed.
[4] Calculus. 8:00-10:00am Tuesday, 2:00-6:00pm Friday. Sep, 2007-Dec, 2007
[5] Priority argument. 3:00-5:00pm Wednesday. Sep, 2007-Dec, 2007
An introduction to priority argument. Some applications to algorithmic information theory will be discussed.
[6] Calculus. 10:00-12:00am, 16:00-18:00pm Monday, 8:00-10:00am Friday. Sep-Dec, 2008
[7] Model theory. Feb-May, 2009
The course is targeted for those students who does not want to be a model theorist. So I plan to put more recursion and effective descriptive set theory stuff into the course. The course will cover an analysis of Vaught's conjecture using effective descriptive set theory, Morley's categoricity theorem and an introduction to infinitary logic with some applications to higher recursion theory.
Back
