Order:
Disambiguations
Christopher J. Ash [3]Chris Ash [2]
  1.  31
    Generic Copies of Countable Structures.Chris Ash, Julia Knight, Mark Manasse & Theodore Slaman - 1989 - Annals of Pure and Applied Logic 42 (3):195-205.
  2.  13
    Recursive Structures and Ershov's Hierarchy.Christopher J. Ash & Julia F. Knight - 1996 - Mathematical Logic Quarterly 42 (1):461-468.
    Ash and Nerode [2] gave natural definability conditions under which a relation is intrinsically r. e. Here we generalize this to arbitrary levels in Ershov's hierarchy of Δmath image sets, giving conditions under which a relation is intrinsically α-r. e.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  14
    A Conjecture Concerning the Spectrum of a Sentence.Christopher J. Ash - 1994 - Mathematical Logic Quarterly 40 (3):393-397.
    We give a plausible-sounding conjecture involving the number of n-equivalence classes of structures of size m which would imply that the complement of a spectrum is also a spectrum.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  12
    Some Theories Associated with Algebraically Closed Fields.Chris Ash & John Rosenthal - 1980 - Journal of Symbolic Logic 45 (2):359-362.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  6
    A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas.Christopher J. Ash & Julia F. Knight - 1994 - Mathematical Logic Quarterly 40 (2):173-181.
    We consider the following generalization of the notion of a structure recursive relative to a set X. A relational structure A is said to be a Γ-structure if for each relation symbol R, the interpretation of R in A is ∑math image relative to X, where β = Γ. We show that a certain, fairly obvious, description of classes ∑math image of recursive infinitary formulas has the property that if A is a Γ-structure and S is a further relation on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation