Springfield College Hosts New England Recursion and Definability Seminar

The Springfield College hosted the New England Recursion and Definability Seminar on Sunday, Nov. 4, in Locklin Hall. The seminar focused on individuals with a passion for mathematical logic, computability theory, and reverse mathematics.

Keynote presenters during the day included: Damir Dzhafarov, from the University of Connecticut, who talked about the uniform content of partial and linear orders; Iva Bilanovic, from George Washington University, highlighted detecting properties of groups; Noah Hughes, from the University of Connecticut, presented about generalizations of Hall’s Theorem in Reverse Mathematics; and Karen Lange, from Wellesley College, talked about dynamic and structural properties of the enumerable sets.

The New England Recursion and Definability Seminar is a meeting of logicians in and around the Northeast United States whose research interests lie in computability theory and related areas, including reverse mathematics, computable model theory, and randomness.

The seminar meets once per semester at one of the region's many institutions with affiliated logic faculty.