Infinitary logic (Winter 2025, TU Wien)

---

Time: Fridays 1pm–3pm (new time).
Place: Seminar room on the 5th floor in the green area of the Freihaus building of TU Wien.

• October 10th, 2025. Introduction. Recap (first-order logic: compactness, completeness, the Löwenheim-Skolem theorem; ultrafilters; ordinals and cardinals). Abstract definition of a logic. Some examples of logics. The downward Löwenheim-Skolem theorem for L_{\omega_1,\omega}.
   
• October 17th, 2025.
   
• October 24th, 2025.
   
• October 31st, 2025.
   
• November 14th, 2025.
   
• November 21st, 2025.
   
• November 28th, 2025.
   
• December 5th, 2025.
   
• December 12th, 2025.
   
• January 9th, 2025.
   
• January 16th, 2025.
   
• January 23rd, 2025.

To be announced.