Title of article
Index sets for some classes of structures
Author/Authors
Fokina، نويسنده , , Ekaterina B. Kudryashova، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
9
From page
139
To page
147
Abstract
For a class K of structures, closed under isomorphism, the index set is the set I ( K ) of all indices for computable members of K in a universal computable numbering of all computable structures for a fixed computable language. We study the complexity of the index set of class of structures with decidable theories. We first prove the result for the class of all structures in an arbitrary finite nontrivial language. After the complexity is found, we prove similar results for some well-known classes of structures, such as directed graphs, undirected graphs, partial orders and lattices.
Keywords
Class of structures , Computable structure , Index set , Decidable theory
Journal title
Annals of Pure and Applied Logic
Serial Year
2009
Journal title
Annals of Pure and Applied Logic
Record number
1443965
Link To Document