Past Seminars- Logic Set Theory

Printer-friendly version
  • Monroe Eskew
    Mon Mar 12, 2012
    4:00 pm
    We present a proof of a theorem of Gitik and Shelah that places limits on the structure of quotient algebras by sigma-additive ideals. We will start by showing connections between Cohen forcing and Baire category on the reals. Then by using generic ultrapowers, we will prove that no sigma-additive ideal yields an atomless algebra with a countable...
  • Monroe Eskew
    Mon Mar 5, 2012
    4:00 pm
    We present a proof of a theorem of Gitik and Shelah that places limits on the structure of quotient algebras by sigma-additive ideals. We will start by showing connections between Cohen forcing and Baire category on the reals. Then by using generic ultrapowers, we will prove that no sigma-additive ideal yields an atomless algebra with a countable...
  • Dr Isaac Goldbring
    Mon Feb 27, 2012
    4:00 pm
    I will discuss the role that independence relations play in modern model theory, discussing the classes of stable, simple, and rosy theories along the way. I will then discuss why the Urysohn space is not stable or simple, but is rosy. Part of the talk reflects joint work with Clifton Ealy.
  • Spencer Unger
    Wed Feb 15, 2012
    4:00 pm
    In this series of two talks I will give an introduction to some of my recent research on the ineffable tree property. The ineffable tree property is a two cardinal combinatorial principle which can consistently hold at small cardinals. My recent work has been on generalizing results about the classical tree property to the setting of the...
  • Spencer Unger
    Mon Feb 13, 2012
    4:00 pm
    In this series of two talks I will give an introduction to some of my recent research on the ineffable tree property. The ineffable tree property is a two cardinal combinatorial principle which can consistently hold at small cardinals. My recent work has been on generalizing results about the classical tree property to the setting of the...
  • Dr Isaac Goldbring
    Mon Feb 6, 2012
    4:00 pm
    Continuous logic is a relatively new logic better equipped for studying the model theory of structures based on complete metric spaces. There are continuous analogs of virtually every notion and theorem from classical model theory, often with equalities replaced by approximations. However, most of the work done in continuous logic has centered...
  • Andres Forero
    Mon Jan 30, 2012
    4:00 pm
    We complete the construction of the Martin-Solovay tree