Least enumerations of partial structures

Angel V. Ditchev · Journal of Logic and Computation · 2010

The main result of the article is a characterization of the partial structures which have the least enumerations, i.e. the structures which have degrees.As a corollary a characterization of the partial structures which admit effective enumerations is described.

Read the paper · More papers on PaperTik