Conference on Descriptive Inner Model Theory
Berkeley, CA, June 09-13, 2014
Organizers: Ralf Schindler and John Steel
Program:
- Day 1:
9:30-10:45 Andy Voellmer, HOD^(L(IR)) tutorial
11-12 Itay Neeman, Long extender mice
12-2 Lunch
2-5 Nam Trang, Core Model Induction
5 Happy Hour
- Day 2:
9:30-10:45 Andy Voellmer, HOD^(L(IR)) tutorial
11-12:30 John Steel, Long extender mice
12:30-2:30 Lunch
2-5 W. Hugh Woodin, Fine structure for long extender mice
5 Happy Hour
- Day 3:
9:30-10:30 Per Stinchcombe, HOD^(L(IR)) tutorial
11-12 John Steel, Long extender mice
12-2 Lunch
2-3:30 Grigor Sargsyan, The HOD Problem
3:30 Hike
- Day 4:
9:30-10:30 Per Stinchcombe, HOD^(L(IR)) tutorial
11-12:30 John Steel, Long extender mice
12:30-2:30 Lunch
2:30-3:30 John Steel, Long extender mice
4 Grigor Sargsyan, The HOD Problem
6 Happy Hour
- Day 5:
9:30-10:30 Per Stinchcombe, HOD^(L(IR)) tutorial
11-12 Trevor Wilson, Scales on local \Pi^2_1 sets
12-2 Lunch
2-3 Trevor Wilson, Scales on local \Pi^2_1 sets
3:30-5 Grigor Sargsyan, The HOD Problem
5 Happy Hour
Here is a list of Berkeley Hotels. For some of them, there is a University rate.
People would need to make their own reservations, then email
Judie Filomeo (judiew@math.berkeley.edu) about it. She would then call the hotel
to get the reduced rate.
Cf. also Conference on the occasion of William Mitchell's 70th birthday
Cf. also boise extravaganza in set theory (BEST 2014)
Previous meetings on the core model induction and hod mice:
Conference on the core model induction and hod mice
2nd Conference on the core model induction and hod mice