The workshop will cover forcing techniques used in the proof that consistently every two ℵ2-dense real order types are isomorphic.
The question is related to the quest for higher analogues for applications of the proper forcing axiom (PFA). It was raised by Baumgartner in the early 1970s, when he proved the analogous result at ℵ1. Baumgartner's result at ℵ1 is a central consequence of PFA (though it precedes the formulation of PFA by almost a decade) and moreover the methods of his proof have been instrumental for other key applications of PFA.
Projected topics include countable reflection of clubs, sparse sets, and iteration theory for countably closed forcing with side conditions.
The main reference, which covers most of the prerequisites:
The nearest airport is Richmond International Airport.
There is no bus service to or from the airport on Friday evening or during the weekend. Transport options include taxis and various shuttle services, see Richmond airport ground transportation page and Virginia Airlink.
A block of rooms at a special conference rate ($113.00 + 13.3% tax per night) has been set aside at the Holiday Inn Express Richmond - Downtown. To make a reservation at the conference rate use the group code AST. Reservations can be made online or by calling 804 7881600. Please note that the cutoff date for making a rservation at the special rate is Friday March 18!
The code only works for bookings which are contained in the "window" from April 7 to April 11. If you want a stay which is not contained in the window then probably you should make two separate reservations, with the part outside the window charged at the standard rate.
The hotel address is 201 E Cary Street, Richmond, VA 23219.
Funds provided by the National Science Foundation will be used to reimburse some participant transportation and lodging expenses. Priority will be given to students and faculty who do not hold federal research grants. Please request such funds as far in advance of the meeting as possible by sending the following information to the email address firstname.lastname@example.org