Workshop on Predicativity

The aim of this workshop is to foster discussion on predicativity, especially, but not exclusively, on constructive predicativity from a number of perspectives.

Confirmed Speakers: Stewart Shapiro (Ohio, USA), Michael Rathjen (Leeds, UK), Giovanni Sambin (Padua, Italy), Maria Emilia Maietti (Padua, Italy), Øystein Linnebo (Oslo), Laura Crosilla (Oslo)

Schedule (all times are Oslo time, i.e. CET): 

12:50 Opening   

13:00 -- 13:50   Laura Crosilla: Predicativity as invariance

10 minutes break

14:00 -- 14:50  Giovanni Sambin: Predicativity from the perspective of dynamic constructivism  

Break

15:15 -- 16:05  Maria Emilia Maietti: What discriminates  the Minimalist Foundation among predicative foundations for Bishop's constructive mathematics?

10 minutes break 

16:15 -- 17:05  Øystein Linnebo and Stewart Shapiro: Predicativism and potential totalities

Break    

17:30 -- 18:20  Michael Rathjen: Predicativity, polymorphism and function spaces

Organizers: Øystein Linnebo and Laura Crosilla

The workshop will take place via Zoom. Please write to Laura.Crosilla@ifikk.uio.no for a Zoom-invite.

Published Mar. 5, 2021 9:34 AM - Last modified Mar. 19, 2021 7:54 PM