2 papers
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…
math.LO2024
Continuous logic in a classical setting
Claudio Agostini, Stefano Baratella, Silvia Barbina +2
Let be a first-order two-sorted language and consider a class of -structures of the form where varies among structures of the…