LEAST ENUMERATIONS OF UNARY PARTIAL STRUCTURES

Authors

  • Angel Ditchev

Keywords:

degree of a structure, Enumeration, enumeration degree, enumeration operator, Turing degree, type of a sequence of elements of a structure, universal set

Abstract

In the present paper we consider structures with unary partial functions and partial predicates, called unary structures. Unary structures does not contain equality and inequality among the predicates of the structure. The main result obtained here is a characterization of the unary structures which have least enumerations, called degrees of the structures. As a corollary it is obtained a characterization of the unary structures which admit effective enumerations. There are some interesting results concerning the spectrum and the so-called quasi-degree of such structures.

Downloads

Published

2013-12-12

How to Cite

Ditchev, A. (2013). LEAST ENUMERATIONS OF UNARY PARTIAL STRUCTURES. Ann. Sofia Univ. Fac. Math. And Inf., 101, 51–69. Retrieved from https://annual.uni-sofia.bg/index.php/fmi/article/view/229