• 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