2 papers
math.LO2026
The complexity of being monitorable
Riccardo Camerlo, Francesco Dagnino
We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable sp…
math.LO2025
Local stability in structures with a standard sort
Silvia Barbina, Riccardo Camerlo, Domenico Zambella
Recently, a classical approach to continuous structures has been proposed in [ABBMZ] and [Z] that extends the class of structures falling under the scope of [HI] or [BBHU]. These a…