Past Seminars- Logic Set Theory

Printer-friendly version
  • Martin Zeman
    Mon Feb 8, 2016
    4:00 pm
    We continue the discussion of Viale-Weiss paper ``On the consistency strength of the proper forcing axiom".
  • Martin Zeman
    Mon Feb 1, 2016
    4:00 pm
    We will discuss Viale-Weiss paper ``On the consistency strength of the proper forcing axiom".
  • Sean Cox
    Mon Jan 4, 2016
    4:00 pm
    Many consequences of the Proper Forcing Axiom (PFA) factor through the stationarity of the class of guessing models. Such consequences include the Tree Property at $\omega_2$, absence of (weak) Kurepa Trees on $\omega_1$, and failure of square principles.  On the other hand, stationarity of guessing models does not decide the value of...
  • Geoff Galgon
    Mon Nov 23, 2015
    4:00 pm
    We continue our discussion of perfect and scattered subsets in the generalized Cantor space. We give some properties of the \kappa-topologies over 2^{\lambda} introduced earlier (for \kappa \leq \lamba), define a Cantor-Bendixon process for forests, and begin work on showing the consistency of Cantor-Bendixon theorem analogues for closed subsets...
  • Geoff Galgon
    Mon Nov 16, 2015
    4:00 pm
    We continue our discussion of perfect and scattered subsets in the generalized Cantor space. We we continue our study of the collection of topologies over 2^{\lambda} introduced last time. These topologies rely on the notion of a P_{\kappa}\lambda-forest, which is a natural generalization of a tree.
  • Southern California Logic Group
    Sat Nov 14, 2015
    10:00 am
    This is the Fall 2015 intercampus Caltech-UCLA-UCI meeting.
  • Geoff Galgon
    Mon Nov 9, 2015
    4:00 pm
    We continue our discussion of perfect and scattered subsets in the generalized Cantor space. This week we finish the proof of the fact that \kappa-closed forcings don't add branches to \kappa-scattered subsets of 2^{\kappa}. We then introduce a collection of topologies over 2^{\lambda} whose restrictions to P_{\kappa}\lambda have some...