## Past Seminars- Logic Set Theory

• 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...