Logic Colloquium 2022

Speaker

Michal Godziszewski

Talks at this conference:
 Tue, 11:30 Tennebaum’s Theorem for quotient presentations of nonstandard models of arithmetic ! Live
 Fri, 14:40 Between the Model-Theoretic and the Axiomatic Method of Characterizing Mathematical Truth ! Live

 Overview

If you encounter any issues with this website, please get in touch with Léo Exibard.