7 citations · 12 across the 12 of their papers we have counts for
1 paper · 1 filter
Vincent Guingona
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finit…