The next conference will be that for the EFI project, date TBA.
Harvard hosted the Mid Atlantic Mathematical Logic Seminar (MAMLS) on February 18-20 2011. The conference focused on the developments in Inner Model Theory and Large Cardinals over the last 50 years. The list of speakers and talk topics can be found on the original conference page (expands below).
Harvard also hosted the Mid Atlantic Mathematical Logic Seminar (MAMLS) on May 9-10, 2009. The theme of the meeting was logic and its intersections with other branches of mathematics. For details, see the original conference page (external link).
Inner Model Theory and Large Cardinals, February 18-20, 2011View the conference poster. (View the poster in high resolution.)
Conference Speakers & Talks
Sean Cox (WWU Münster) — Diagonal Stationary Reflection and Generic Ultrapowers. Abstract. Slides.
I will introduce various versions of the Diagonal Reflection Principle (DRP). These are highly simultaneous kinds of stationary set reflection that follow from strong forcing axioms like MM and MA+?1(s-closed). I will also discuss the effect of DRP on generic ultrapowers.
- Richard Laver (UC Boulder) — Some Open Problems.
- William Mitchell (University of Florida) — A Sharp for the Chang Model. Slides.
- Itay Neeman (UCLA) — Forcing Axioms and Side Conditions.
Grigor Sargsyan (UCLA) — The Evolution of HOD Mice. Abstract. Slides.
We will sketch the evolution of HOD mice.
Dana Scott (CMU & UC Berkeley) — Ultraproducts and Large Cardinals: The Early Years. Abstract. Slides.
Ultraproducts came forward in the late 50s, but the real breakthrough was the work of Bill Hanf on infinitary languages. Some of the high points will be reviewed.
- Ernest Schimmerling (CMU) — How Much Square is True?
- Ralf Schindler (WWU Münster) — Generic Iterations and Forcing Axioms.
Hugh Woodin (UC Berkeley) — The HOD Dichotomy. Abstract. Slides.
Jensen's Covering Lemma is dichotomy theorem regarding the relationship of V and L. This theorem plays a central role in modern set theory, especially with regard to understanding large cardinal axioms. The HOD Dichotomy is an abstract version of Jensen's Covering Lemma but with L replaced by HOD and the context for the theorem is the existence of an extendible cardinal. The key question is whether the HOD Dichotomy is a genuine dichotomy or not. The HOD Conjecture is the conjecture that it is not and this conjecture arguably emerges as one of critical importance for Set Theory in the context of large cardinals. The HOD Conjecture, if true, provides evidence for the existence of an ultimate version of L.
- Martin Zeman (UCI) — Fine Structure and Internal Theory of Extender Models. Slides.
|1:00pm||Dana Scott — Ultraproducts and Large Cardinals: The Early Years.|
|2:30pm||Martin Zeman — Fine Structure and Internal Theory of Extender Models.|
|4:00pm||Ralf Schindler — Generic Iterations and Forcing Axioms.|
|Light refreshments will be served during the course of the afternoon.|
|10:00am||Itay Neeman — Forcing Axioms and Side Conditions.|
|11:30am||Richard Laver — Some Open Problems.|
|1:30pm||William Mitchell — A Sharp for the Chang Model.|
|3:00pm||Sean Cox — Diagonal Stationary Reflection and Generic Ultrapowers.|
|4:45pm||Ernest Schimmerling — How Much Square is True?|
|A light breakfast will be served in the morning, and lunch will be served around noon.|
|10:00am||Grigor Sargsyan — The Evolution of HOD Mice.|
|11:30am||Hugh Woodin — The HOD Dichotomy.|
|Breakfast will be served in the morning.|
Conference DinnerA conference dinner will be held with all invited speakers at 6.30pm on Saturday night at Chang Sho. All graduate students and faculty are welcome to join; the cost is $15 for graduate students and $30 for faculty. To register for the dinner, please email 2011mamls (at) gmail (dot) com.
AccommodationThe following hotels and inns are within walking distance of Harvard or a nearby Red Line subway stop.
- Sheraton Commander (16 Garden Street, 617-547-4800)
- Kendall Hotel (350 Main Street, 866-566-1300)
- Residence Inn (6 Cambridge Center, 617-349-0700)
- Le Méridien Cambridge-MIT (20 Sidney Street, 617-577-0200)
- Irving House (24 Irving Street, 617-547-4600)
- Harding House (288 Harvard Street, 617-876-2888)
- Parkside on Ellery (74 Ellery Street, 617-492-5025)
- A Friendly Inn (1673 Cambridge Street, 617-547-7851)
- 53 Wendell (53 Wendell Street, 866-653-9121)
- Whitman House (17 Worcester Street, 617-945-5350)
- Mary Prentiss Inn (6 Prentiss Street, 617-661-2929)
Travel SupportIndividual requests for travel support should be directed to 2011mamls (at) gmail (dot) com in advance of the meeting with an estimate of the expenses involved (travel/lodging/subsistence). Such requests will be handled on a case-by-case basis within the limits of the budget. While graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply for such support, it should be stressed that any participants without their own sources of funding are eligible to apply.
Getting to the ConferenceAll talks will be held in the Harvard Fong Auditorium, in Boylston Hall 110. Boylston Hall is the granite building on the Southeast corner of Harvard Yard, at the center of this map.
From Logan airport, the Harvard Square area can be reached by taking the Silver Line (SL1) bus to South Station, and switching there to the Red Line subway towards Alewife. This is roughly a 30-minute trip. Taxis are also available, but be advised that a one-way drive can cost upward of $45.