4 citations · 5 across the 2 of their papers we have counts for
1 paper · 2 filters
Rachael Alvir, Charles McCoy, Julia Knight
We give effective versions of some results on Scott sentences. We show that if A has a computable Πα Scott sentence, then the orbits of all tuples are defined by for…