Summer School in Logic - IMS

	Back to Program Overview


	`Enquiries General`

Summer School in Logic
(3 - 28 Jul 2006)

Venue(9:30am-11.30am): IMS Auditorium (3 - 11 Jul 2006, 17 - 28 Jul 2006)
Venue(9:30am-11.30am): IMS Seminar Room, House 3 #01-03 (12 - 14 Jul 2006)
Venue(04:00pm-05.00pm): Mathematics Studio, S14 #03-01, Department of Mathematics
Venue(21 Jul 2006): Mathematics Studio, S14 #03-01, Department of Mathematics

Monday, 3 Jul 2006
09:30am - 10:30am	Set Theory: Introduction to set theory W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: Introduction to set theory
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Tuesday, 4 Jul 2006

09:30am - 10:30am

Recursion Theory: Computability
Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: First constructions
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Wednesday, 5 Jul 2006

09:30am - 10:30am

Student Logic Seminar: Schnorr randomness and triviality
Johanna Franklin, The University of California, Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Student Logic Seminar: Schnorr randomness and triviality
Johanna Franklin, The University of California, Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Logic Seminar

Thursday, 6 Jul 2006

09:30am - 10:30am

Set Theory: Measurable cardinals
W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: Measurable cardinals
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Friday, 7 Jul 2006
09:30am - 10:30am	Recursion Theory: Finite extension constructions Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: Finite extension constructions
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Monday, 10 Jul 2006

09:30am - 10:30am

Set Theory: ∑₂ - classes
W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: Ultraproducts and measurable cardinals
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Tuesday, 11 Jul 2006

09:30am - 10:30am

Recursion Theory: Forcing in arithmetic
Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: Forcing in arithmetic
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Wednesday, 12 Jul 2006

09:30am - 10:30am

Student Logic Seminar: Genericity relative to a perfect set
Bernie Anderson, The University of California, Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Student Logic Seminar

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Logic Seminar

Thursday, 13 Jul 2006

09:30am - 10:30am

Set Theory: More on ∑₂ - classes
W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: Measurable cardinals again
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Friday, 14 Jul 2006

09:30am - 10:30am

Recursion Theory: Applications of the forcing method
Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: Applications of the forcing method
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Monday, 17 Jul 2006

09:30am - 10:30am

Set Theory: Stationary sets
W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: Stationary sets and measurable cardinals
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Tuesday, 18 Jul 2006

09:30am - 10:30am

Recursion Theory: Uniformly degree invariant functions, Steel's Theorem
Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: Forcing in arithmetic
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Wednesday, 19 Jul 2006

09:30am - 10:30am

Student Logic Seminar: Definable filters in r.e.degrees
Wei Wang, Nanjing University

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Student Logic Seminar: Definable filters in r.e.degrees
Wei Wang, Nanjing University

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Logic Seminar

Thursday, 20 Jul 2006

09:30am - 10:30am

Set Theory: The submodel problem
W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: Gödel's L
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Friday, 21 Jul 2006

09:30am - 10:30am

Recursion Theory: Genericity in arithmetic
Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: Revisiting the finite extension method
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Monday, 24 Jul 2006

09:30am - 10:30am

Set Theory: More on Godel’s L
W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: More on Godel’s L
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Tuesday, 25 Jul 2006

09:30am - 10:30am

Set Theory: Inner models for one measurable cardinal
W. Hugh Woodin, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Set Theory: Inner models for one measurable cardinal
W. Hugh Woodin, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Thursday, 27 Jul 2006

09:30am - 10:30am

Recursion Theory: Some applications of forcing
Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: Some applications of forcing
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar

Friday, 28 Jul 2006

09:30am - 10:30am

Recursion Theory: More on Slaman-Steel Theorem
Theodore A. Slaman, University of California at Berkeley

10:30am - 11:00am

--- Coffee break ---

11:00am - 12:00nn

Recursion Theory: More on Slaman-Steel Theorem
Theodore A. Slaman, University of California at Berkeley

12:00nn - 02:00pm

--- Lunch break ---

04:00pm - 05:00pm

Student Logic Seminar