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.