CUNY Graduate Center
Virtual
Organized by Organized by Athar Abdul-Quader and Roman Kossak>

Fall 2023

December 12
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Karel Hrbáček CUNY
Multi-level nonstandard analysis, the axiom of choice, and recent work of R. Jin
Abstract

December 5
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Mateusz Łełyk University of Warsaw
Simplest model properties for Peano Arithmetic: On a question of Montalban and Rossegger
Abstract

November 21
12:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Saeideh Bahrami Institute for Research in Fundamental Sciences
$I$-small submodels of countable models of arithmetic
Abstract

November 14
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Mengzhou Sun National University of Singapore
On the (non)elementarity of cofinal extension
Abstract

November 7
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Stefan Hetzl Vienna University of Technology
Arithmetical theories and the automation of induction
Abstract

October 24
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Alessandro Berarducci and Marcello Mamino University of Pisa
Provability logic: models within models in Peano Arithmetic
Abstract

October 17
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Elliot Glazer Harvard University
Coin flipping on models of arithmetic to define the standard cut
Abstract