M. Antonelli will present her joint work with U. dal Lago e P. Pistone: On Measure Quantifiers in First-Order Arithmetic. More: https://www.cie2021.ugent.be/programme/
Date: 05 JULY 2021 from 15:15 to 15:40
Type: Conference