26 citations · 33 across the 5 of their papers we have counts for
1 paper · 1 filter
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…