MEETINGS:

• Organizer: Alex Usvyatsov.
• E-mail: alexus at math.ucla.edu.
• Office: MS 7336
• Seminar meets:
  • First Meeting:
    Wednesday, 10/5, 4:00 pm - 5:30 pm in MS 6118 .
  • Second meeting:
    Wednesday 10/12 4:00 pm - 5:30 pm in MS 6118.
    Alex Usvyatsov will speak on basics of classical models theory.
  • Third meeting:
    Wednesday 10/19 4:00 pm - 5:30 pm in MS 6118.
    John Kittrell will prove that "set being well-ordered" is not definable in L_{omega_1, omega}.
  • Fourth meeting:
    Wednesday 10/26 4:00 pm - 5:30 pm in MS 6118.
    Ioannis Souldatos will prove Shelah's theorem on existence of a model in \aleph_2 for an L_{\omega_1}\omega sentence categorical in \aleph_1
  • Fifth meeting:
    Wednesday 11/2 4:00 pm - 5:30 pm in MS 6118.
    Dima Sinapova proved Shelah's theorem on existence of a complete sentence implying a given sentence with few models in \aleph_1
  • Sixth meeting:
    Wednesday 11/9 4:00 pm - 5:30 pm in MS 6118.
    Inessa Epstein will speak about the basics of Henson's logic for normed spaces.
  • Seventh meeting:
    Wednesday 11/16 4:00 pm - 5:30 pm in MS 6118.
    Clinton Conley will prove Keisler-Shelah ultraproduct theorem for normed spaces.
  • Eighth meeting:
    Wednesday 11/23 4:00 pm - 5:30 pm in MS 6118.
    Joe Busch will speak about the basics of continuous logic.
  • Ninth meeting:
    Wednesday 11/30 4:00 pm - 5:30 pm in MS 6118.
    Philipp Schlicht will speak about local stability in continuous logic.
  • Tenth meeting:
    Wednesday 12/7 4:00 pm - 5:30 pm in MS 6118.
    
    • Philipp Schlicht will prove the equivalence of different definitions of stability.
    • Takis Rouvelas will prove Lindstrom's first theorem.
• Office hours:
  • Mondays, 3:00pm - 4:00pm.
  • Wednesdays, 11:30 - 12:30.

GENERAL INFO:

• This is a participating seminar. The students will speak about model theoretic approaches to classes which are not first order axiomatizable. The suggested topics are
  • Infinitary logics
  • Continuous logic
  • Henson's positive bounded logic for Banach spaces
• No previous knowledge in model theory is required. People should be familiar only with the basic course in logic. All the frameworks will be developed from scratch.