Structures in Foundations of Mathematics (original) (raw)

Programme

Monday, September 23 – Room 1BC50

• 15:00-15:45 Opening – Pietro Sabelli (chair: Giovanni Sambin)
  Presentation of his PhD thesis
  "Around the Minimalist Foundation: (Co)Induction and Equiconsistency"
• 15:45-16:15 Discussion
• Coffee break

Tuesday, September 24 – Room 2AB45

• 14:30-15:15 Steve Awodey (chair: Milly Maietti)
  Talk: The Effective 2-Topos as a (2,1)-Exact Completion
• 15:15-15:45 Coffee Break
• 15:45-16:30 Hugo Herbelin (chair: Antonino Salibra)
  Talk: On the logical structure of some choice, maximality, bar induction and well-foundedness principles |Slides
• 16:30-17:00 Coffee Break

Wednesday, September 25 – Room 1BC50

• 14:30-15:15 Giuseppe Rosolini (chair: Samuele Maschio)
  Talk: Ultracompletions |Slides

• 15:15-15:45 Coffee break

• 15:45-16:30 Jacopo Emmenegger (chair: Cipriano Jr. Cioffo)
  Talk: Some remarks on groupoids in fibrations

• 16:30-17:00 Coffee break

• 17:00-17:45 Giuseppe Rosolini
  Talk: Exercises in Completion |Slides

• 20:15 Social Dinner – Celebrating Pino Rosolini's 70th birthday
  Venue: Hostaria Piave, Riviera Paleocapa 24, Padova (Google Maps)

Thursday, September 26 – Room 1BC50

• 15:00-15:45 Zurab Janelidze (chair: Davide Trotta)
  Talk: Noetherian forms from the lenses of regular fibrations
• 15:45-16:15 Coffee Break
• 16:15-17:00 Closing – Giovanni Sambin (chair: Francesco Ciraulo)
  Brief presentation, followed by Q&A session with the audience on the forthcoming book "Positive Topology. A new practice in constructive mathematics" |Slides |Video
• 17:00-17:15 Aperitivo

Venue

Torre Archimede, Department of Mathematics (Google Maps).
Address: Via Trieste, 63 - 35121 Padova (Italy)
Tel: +39 049 827 1200
Fax: +39 049 827 1499
E-mail: dipmath@math.unipd.it