4 papers
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…
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…
Generic expansions of countable models
Silvia Barbina, Domenico Zambella
We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to model-companions and to amalgamation constructions á…
A viewpoint on amalgamation classes
Silvia Barbina, Domenico Zambella
We provide a self-contained introduction to the classical theory of universal-homogeneous models (also known as generic structures, rich models, or Fraïssé limits). In the literatu…