Twenty years of tameness

Abstract: In the 1970s Saharon Shelah initiated a program to develop classification theory for non-elementary classes, and eventually settled on the setting of abstract elementary classes. For over three decades, limited progress was made, most of which required additional set theoretic axioms. In 2001, Rami Grossberg and I introduced the model theoretic concept of tameness which opened the door for stability results in abstract elementary classes in ZFC. During the following 20 years, tameness along with limit models have been used by several mathematicians to prove categoricity theorems and to develop non-first order analogs to forking calculus and stability theory, solving a very large number of problems posed by Shelah in ZFC. Recently, Marcos Mazari-Armida found applications to Abelian group theory and ring theory. In this presentation I will highlight some of the more surprising results involving tameness and limit models from the past 20 years.

computational complexitycategory theorylogic

Audience: researchers in the topic

PALS Panglobal Algebra and Logic Seminar

Series comments: The PALS seminar is a research and learning seminar organized by the algebra and logic research group of the Department of Mathematics at the University of Colorado at Boulder. The scope of the seminar includes all topics with links to algebra, logic, or their applications, like general algebra, logic, model theory, category theory, set theory, set-theoretic topology, or theoretical computer science. Please contact one of the organizers for the Zoom password, to join the mailing list or if you want to speak.