Hostname: page-component-7b9c58cd5d-g9frx Total loading time: 0 Render date: 2025-03-15T16:47:08.587Z Has data issue: false hasContentIssue false

2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS Seattle, Washington Joint Mathematics Meeting January 7–8, 2022

Published online by Cambridge University Press:  21 October 2022

Rights & Permissions [Opens in a new window]

Abstract

Type
Meeting Report
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

The 2022 Winter Meeting of the Association for Symbolic Logic was to be held on January 7–8, 2022 in conjunction with the annual Joint Mathematics Meeting (JMM). Due to the global pandemic, the American Mathematical Society moved the JMM online and rescheduled it for April 6–9, 2022. As the North American ASL Meeting was on April 7–10, 2022, the ASL reluctantly withdrew its plenary talks, tutorial, and contributed paper session from the JMM.

The ASL program included seven plenary speakers, a tutorial, a special session, and a contributed paper session. The contributed papers were moved to the North American ASL Meeting and the plenary and tutorial speakers were invited to give their talks at the ASL Winter Meeting at the 2023 JMM. The abstracts for these talks will appear in the report for the respective meeting. Unfortunately, Omar León Sánchez (Manchester) will be unable to give his tutorial From noncommutative algebra to model theory via Poisson algebras at the 2023 JMM.

The ASL Special Session Model Theoretic Classification Program, organized by Artem Chernikov and Nicholas Ramsey, was held online on April 6, 2022, avoiding a conflict with the North American ASL Meeting.

The members of the Program Committee were Dana Bartošová, Kirsten Eisenträger, James Freitag (chair): and Philipp Hieronymi. The plenary speakers with their intended titles are given below:

Jeremy Avigad (Carnegie Mellon), The promise of formal mathematics.

Omer Ben-Neria (Hebrew University), Diamonds, compactness and ultrafilters in set theory.

Peter Cholak (Notre Dame), Ramsey-like theorems on the rationals and some other structures.

Franziska Jahnke (Münster), Decidability and definability in unramified henselian valued fields.

Sandra Müller (TU Wien), Lower bounds in set theory.

Lynn Scow (California State University, San Bernardino), Semi-retractions and the Ramsey property.

Erik Walsberg (University of California Irvine), Model theory of large fields.