Least enumerations of partial structures

DOI10.1093/LOGCOM/EXQ038zbMath1260.03081OpenAlexW2087945402MaRDI QIDQ2907051

A. V. Dichev

Publication date: 5 September 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e02a44b87b2211c7430a219145f8c7d8efbaaab7

zbMATH Keywords

enumeration degreeTuring degreeuniversal setpartial structuresenumeration operatordegree of a structureMoschovakis extensiontype of a sequence of elements of a structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Least enumerations of partial structures