Domenico Zambella

activity

20232025

collaborators

3 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 $L$ be a first-order two-sorted language and consider a class of $L$ -structures of the form $⟨ M, X ⟩$ where $M$ varies among structures of the…

math.LO2023

Standard analysis

Domenico Zambella

Let $L$ be a first-order two-sorted language. Let $S$ be some fixed structure. A standard structure is an $L$ -structure of the form $(M, S)$ , where $M$ is arbitr…