|
|
The Enumeration Spectrum Hierarchy of α-families and Lowα Degrees
|
|
|
|
|
نویسنده
|
Faizrahmanov Marat ,Kalimullin Iskander
|
منبع
|
journal of universal computer science - 2016 - دوره : 22 - شماره : 7 - صفحه:943 -955
|
چکیده
|
In this paper we introduce a hierarchy of families which can be derived from the integers using countable collections. this hierarchy coincides with the von neumann hierarchy of hereditary countable sets in the zfc-theory with urelements from n. the families from the hierarchy can be coded into countable algebraic structures preserving their algorithmic properties. we prove that there is no maximal level of the hierarchy and that the collection of non-lowα degrees for every computable ordinal α is the enumeration spectrum of a family from the hierarchy. in particular, we show that the collection of non-lowα degrees for every computable limit ordinal α is a degree spectrum of some algebraic structure.
|
کلیدواژه
|
countable family ,class of families ,enumeration of family ,degree spectra of structure ,lowα degree
|
آدرس
|
Kazan (Volga Region) Federal University, N I Lobachevsky Institute of Mathematics and Mechanics, Russia, Kazan (Volga Region) Federal University, N I Lobachevsky Institute of Mathematics and Mechanics, Russia
|
پست الکترونیکی
|
ikalimul@gmail.com
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|