A Gandy Theorem for Abstract Structures and Applications to First-Order Definability.

Oleg V. Kudinov, Victor L. Selivanov

Browse the full CiE paper archive.