7 citations · 7 across the 4 of their papers we have counts for
1 paper · 2 filters
A. L. Semenov, S. F. Soprunov
The Svenonius theorem describes the (first-order) definability in a structure in terms of permutations preserving the relations of elementary extensions of the structure. In the pr…