MAA Allegheny Section April 2022

In an effort to make college more affordable to students, many faculty are adopting free open educational resources (OERs) to replace expensive textbooks and publisher provided homework systems. Funded by the Pennsylvania Grants for Open and Affordable Learning, this project aims to create and disseminate a new bank of OER mathematics exercises in WeBWorK, designed for accessible and equitable education. Furthermore, this resource fills a gap in the WeBWorK open problem library by emphasizing both graphical problems and modern applications to environmental engineering, computer vision, and structural engineering. In this presentation we will introduce some of these problems and discuss some of the design considerations.

20 Years of Tameness - March 2022

In the 1970s Saharon Shelah initiated a program to develop classification theory for non-elementary classes, eventually settling on the setting of abstract elementary classes. For over three decades, most progress that was made required additional set theoretic axioms and was (co)-authored by Shelah. 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.

Beyond First Order

An invited presentation at the 2022 European Computer Science Logic Conference - Logic Mentoring Workshop

20 Years of Tameness