Appalachian set theory

Saturday, May 9, 2015 (NOTE CHANGE OF DATE)

9:30 a.m. - 6 p.m. with coffee and lunch breaks

Carnegie Mellon University

Lectures in Doherty Hall 2302

Refreshments in Wean Hall 6220

Breakfast and coffee starting at 8:45

John Steel : "Iteration Trees"

Description

The workshop will cover the basic theory of iteration trees, and some of its applications. It will start at a basic level, defining iterated ultrapowers of models of ZFC and their properties, and is intended to be accessible to anyone who has taken a graduate-level course in set theory. In particular, no background in inner model theory will be assumed.

Suggested reading

• Basics:
  • Jech, Set Theory, chapter 17 (especially pages 285-292).
• Intermediate:
  • Jech, Set Theory, chapter 19.
  • Steel, An introduction to iterated ultrapowers.
• Advanced:
  • Martin and Steel, A proof of Projective Determinacy, Journal of the American Mathematical Society volume 2, 1989.
  • Martin and Steel, Iteration trees, Journal of the American Mathematical Society volume 7, 1994.
  • Neeman, Determinacy in L(ℝ), Handbook of Set Theory volume 3.
  • Farah, The extender algebra and Σ²₁-absoluteness.

Local information

Information about travel to Pittsburgh can be found here.

The CMU mathematics department is located in Wean Hall on the CMU campus. Wean Hall is building 33 on the campus map.

Lodging

VERY IMPORTANT NOTE ABOUT LODGING: A block of rooms earmarked for attendees has been set aside at a local hotel (the Shadyside Inn). If we are covering your lodging expenses then we will need to make a reservation for you. Please don't make your own reservation if we have promised you support, this will cause confusion and may make it impossible for us to reimburse you.

Participant travel support

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 appalachiansettheory@gmail.com

• Your name, university affiliation, mailing address, phone number and email address
• Your nationality and visa status
• Your professional status and some additional information:
  • Undergraduate students: please describe your background in set theory
  • Graduate students: please tell us your year and the name of your thesis advisor if you have one
  • Faculty: please tell us whether you hold a federal research grant
• A brief statement about your interest in the workshop