The logic seminar meets on Monday 4:30 - 6:00 PM in Wean 8427, below
are
the future plans.
In case you have suggestions for a topic or willing
to speak please contact Rami@cmu.edu
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: Classifying Mathematical Structures: some trends in model theory.
ABSTRACT: There is no such thing as a precise definition of a canonical
structure. However, model theory in the last thirty years has provided
strong tools and frameworks for algebra, Banach Space theory and Compact
Manifolds, among other areas. I plan to show why the interaction between
Model Theory and other parts of mathematics may be quite natural, and
mention some examples of these interactions. I plan to concentrate on the
role of {\bf homogeneous} and {\bf universal} mathematical structures.
April 29, 2002 SPEAKER: Mirna Dzamonja, Mathematics,
University of East Anglia TITLE: An application of the axioms of universality to a problem
in functional analysis 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.