7 citations · 12 across the 12 of their papers we have counts for
1 paper · 1 filter
Vincent Guingona
In this paper, we show that ϕis a dependent formula if and only if all ϕ-types have an extension to a ϕ-isolated ϕ-type that is an "elementary ϕ-extension" (see Definition 2.3 in t…