Nordic Online Logic Seminar: next talk on Monday, 27 March by Ali Enayat
graham.leigh at gu.se
Tue Mar 14 08:55:33 EDT 2023
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
See the announcement for the next talk below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .
Val Goranko and Graham Leigh
NOL seminar organisers
Nordic Online Logic Seminar
Date Monday, 27 March 2023 at 16:00 CEST (UTC+2) on Zoom (details provided to seminar subscribers)
Speaker Ali Enayat (Emeritus Professor, University of Gothenburg)
Title Arithmetic and set theory through the lens of interpretability
Abstract The notion of (relative) interpretation for first order theories was introduced in a landmark 1953 monograph by Alfred Tarski, Andrzej Mostowski and Raphael Robinson, where it was developed as a powerful tool for establishing undecidability results. By now the domain of interest and applicability of interpretability theory far exceeds undecidability theory owing to its multifaceted interactions with both proof theory and model theory. Special attention will be paid to recent advances in the subject that indicate the distinctive character of Peano Arithmetic, Zermelo-Fraenkel set theory, and their higher order analogues in the realm of interpretability theory. This talk will present a personal overview of the interpretability analysis of arithmetical and set theoretical theories.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM