6 citations · 8 across the 7 of their papers we have counts for
7 papers
Ramsey's coheirs
Eugenio Colla, Domenico Zambella
We use the model theoretic notion of coheir to give short proofs of old and new theorems in Ramsey Theory. As an illustration we start from Ramsey's theorem itself. Then we prove H…
On the diamenter of Lascar strong types (after Ludomir Newelski)
Domenico Zambella
This is an exposition a theorem of mathematical logic which only assumes the notions of structure, elementary equivalence, and compactness (saturation). Newelski proved that type-d…
Elementary classes of finite VC-dimension
Domenico Zambella
Let U be a monster model and let D be a subset of U. Let (U,D) denote theexpansion of U with a new predicate for D. Write e(D) for the collection of all subsets C of U such that (U…
The Real truth
Stefano Baratella, Domenico Zambella
We study a real valued propositional logic with unbounded positive and negative truth values that we call R-valued logic. Such logic slightly extends continuous propositional logic…
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…