Second Order Definability Via enumerations

DOI10.1002/MALQ.19910370206zbMath0736.03014OpenAlexW2025460935MaRDI QIDQ3982254

Ivan N. Soskov

Publication date: 26 June 1992

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910370206

zbMATH Keywords

search computabilityrecursively enumerable definitional schemesexternal characterizationsearch computable functionalssecond order computable objects on abstract structures

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication: Second Order Definability Via enumerations