Switch to: Citations

Add references

You must login to add references.
  1. Effective Model Theory Vs. Recursive Model Theory.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1168-1191.
  • Recursive Isomorphism Types of Recursive Boolean Algebras.J. B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):572-594.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • Recursive Linear Orders with Recursive Successivities.Michael Moses - 1984 - Annals of Pure and Applied Logic 27 (3):253-264.
    A successivity in a linear order is a pair of elements with no other elements between them. A recursive linear order with recursive successivities U is recursively categorical if every recursive linear order with recursive successivities isomorphic to U is in fact recursively isomorphic to U . We characterize those recursive linear orders with recursive successivities that are recursively categorical as precisely those with order type k 1 + g 1 + k 2 + g 2 +…+ g n -1 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Generic Copies of Countable Structures.Chris Ash, Julia Knight, Mark Manasse & Theodore Slaman - 1989 - Annals of Pure and Applied Logic 42 (3):195-205.
  • Computability Theory and Linear Orders.Rod Downey - 1998 - In I͡Uriĭ Leonidovich Ershov (ed.), Handbook of Recursive Mathematics. Elsevier. pp. 138--823.
     
    Export citation  
     
    Bookmark   13 citations