Switch to: References

Add citations

You must login to add citations.
  1. Generalizations of enumeration reducibility using recursive infinitary propositional sentences.C. J. Ash - 1992 - Annals of Pure and Applied Logic 58 (3):173-184.
    Ash, C.J., Generalizations of enumeration reducibility using recursive infinitary propositional sentences, Annals of Pure and Applied Logic 58 173–184. We consider the relation between sets A and B that for every set S if A is Σ0α in S then B is Σ0β in S. We show that this is equivalent to the condition that B is definable from A in a particular way involving recursive infinitary propositional sentences. When α = β = 1, this condition is that B is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The jump operation for structure degrees.V. Baleva - 2005 - Archive for Mathematical Logic 45 (3):249-265.
    One of the main problems in effective model theory is to find an appropriate information complexity measure of the algebraic structures in the sense of computability. Unlike the commonly used degrees of structures, the structure degree measure is total. We introduce and study the jump operation for structure degrees. We prove that it has all natural jump properties (including jump inversion theorem, theorem of Ash), which show that our definition is relevant. We study the relation between the structure degree jump (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Regular enumerations.I. N. Soskov & V. Baleva - 2002 - Journal of Symbolic Logic 67 (4):1323-1343.
    In the paper we introduce and study regular enumerations for arbitrary recursive ordinals. Several applications of the technique are presented.
    Download  
     
    Export citation  
     
    Bookmark   1 citation