21-804 Mathematical Logic Seminar
M 4:30 - 6:00 PM
Wean 8427


  • April 22, 2002
    SPEAKER: Mirna Dzamonja, Mathematics, University of East Anglia
    TITLE: Axioms for universality
    ABSTRACT: In the first talk we discuss an axiom that is a sufficent condition for an abstract elementary class to consistently have $\lambda^{++}$ universal elements of size $\lambda^+$ for a cardinal $\lambda$ that has the value of $2^\lambda$ very large and satisfies $\lambda=\lambda^{<\lambda}$. In the second talk we show how these axioms can be applied to a class of Boolean algebras and a class of topological spaces coming from functional analysis.

  • April 26, 2002 (4:30PM at WeH 7500)
    SPEAKER: Andres Villaveces, Mathematics, National University of Colombia at Bogota
    TITLE: What kind of interaction can you expect between Model Theory and the rest of Mathematics?
    ABSTRACT: Model theory in the last years has started to provide results in branchs of mathematics such as algebra, Banach Space theory and Compact Manifolds. In this talk, I will show why the interaction between Model Theory and other parts of mathematics is very natural, and mention several examples of these interactions. I plan to concentrate on the role of homogeneous and universal mathematical structures.


  • In case you have suggestions for topic or willing to speak please contact Rami@cmu.edu
  • past lectures,
  • future lectures.
  • description of the seminar.




    Rami's home page.
    Last modified: April 20th, 2002