2 citations · 2 across the 1 of their papers we have counts for
1 paper · 2 filters
Quentin Brouette, Pablo Cubides Kovacsics, Francoise Point
The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable subset X of M^n,…