LEAST ENUMERATIONS OF UNARY PARTIAL STRUCTURES

ЗаглавиеLEAST ENUMERATIONS OF UNARY PARTIAL STRUCTURES
Вид публикацияJournal Article
Година на публикуване2013
АвториDitchev A
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том101
ключови думиdegree of a structure, Enumeration, enumeration degree, enumeration operator, Turing degree, type of a sequence of elements of a structure, universal set
Резюме

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 eective enumerations. There are some interesting results concerning the spectrum and the so-called quasi-degree of such structures.

2010 MSC

03D45, 03D60, 03D75

Прикачен файлРазмер
PDF icon 101-051-069.pdf269.59 KB