Model theory of sheaves of metric spaces of analytic functions - Bianconi, Ricardo (Brazilian Logic Conference - EBL 2025, 2025)