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.