Upcoming events

World Logic Day Seminar
in Turin and Udine

Date and time: January 15th, 2021 from 16.30 to 18.30 (Italian local time - UTC/GMT +1:00 hour).

Speaker: Anton Freund (TU Darmstadt).

Title: Ackermann, Goodstein, and infinite sets.

Abstract.

In this talk, I show how Goodstein's classical theorem can be turned into a statement that entails the existence of complex infinite sets, or in other words: into an object of reverse mathematics. This more abstract approach allows for very uniform results of high explanatory power. Specifically, I present versions of Goodstein's theorem that are equivalent to arithmetical comprehension and arithmetical transfinite recursion. To approach the latter, we will study a functorial extension of the Ackermann function to all ordinals. The talk is based on a joint paper with J. Aguilera, M. Rathjen and A. Weiermann.

Meeting link and information:

The meeting will be hosted on WebEx at this link.
Meeting ID: 121 530 8275.
Password: dwEwCC2MT43.

Organizers:

University of Turin, University of Udine, LogicGroup.
For more information, please contact Luca Motto Ros (luca.mottoros at unito.it) or Vincenzo Dimonte (vincenzo.dimonte at uniud.it).

This event is part of the World Logic Day promoted by UNESCO in collaboration with CIPSH.



photo

Past events

World Logic Day Seminar in Turin and Udine - January 15th, 2021

Speakers:

Anton Freund (TU Darmstadt)

Practical information:

Location: Online on WebEx

Webpage of the workshop

Convegno nazionale "Educare alla razionalità - L'insegnamento della matematica e della logica nella scuola secondaria" - May 22-23, 2019

Practical information:

Location: Via Verdi 8-10, Torino

Webpage of the workshop

Descriptive Set Theory Day in Torino - June 12th, 2018

Speakers:

Gianluca Basso (Turin and Lausanne), Gianluca Paolini (Jerusalem), Marcin Sabok (Montreal), Slawomir Solecki (Ithaca, NY), Anush Tserunyan (Urbana-Champaign, IL).

Practical information:

Location: Palazzo Campana, Aula C.

Webpage of the workshop

Workshop on Wadge Theory and Automata II - June 8th, 2018

Speakers:

Jacques Duparc (Lausanne), Olivier Finkel (Paris), Matteo Mio (Lyon), Michal Skrzypczak (Warsaw), Louis Vuilleumier (Lausanne)

Practical information:

Location: Palazzo Campana, Aula Magna.

Webpage of the workshop

IIIM 2018 - Incontro Italiano Insiemi e Modelli 2018 - February 21-23, 2018

Practical information:

Location: Palazzo Campana.

Webpage of the workshop

Descriptive Set Theory in Turin - September 6-8, 2017

Practical information:

Location: Palazzo Campana, Aula Magna.

Webpage of the workshop

P.O.I Workshop in Pure and Descriptive Set Theory - September 25-26, 2015

Speakers:

Andrew Marks (Los Angeles), Márton Elekes (Budapest), Raphaël Carroy (Torino), Benjamin Miller (Wien), Assaf Rinot (Bar-illan), David Asperó (East Anglia), Daisuke Ikegami (Kobe), Paul Larson (Miami, Ohio)

Practical information:

Location: Palazzo Campana

Webpage of the workshop

Workshop on Wadge theory and Automata - January 28th, 2015

Speakers:

Jacques Duparc (Lausanne), Alessandro Facchini (Warsaw), Olivier Finkel (Paris), Victor Selivanov (Novosibirsk)

Practical information:

Location: Palazzo Campana

Webpage of the workshop