Second Order Definability Via enumerations
recursively enumerable definitional schemes
second order computable objects on abstract structures
scientific article; zbMATH DE number 24055
scientific article