Switch to: References

Add citations

You must login to add citations.
  1. Recursive properties of relations on models.Geoffrey R. Hird - 1993 - Annals of Pure and Applied Logic 63 (3):241-269.
    Hird, G.R., Recursive properties of relations on models, Annals of Pure and Applied Logic 63 241–269. We prove general existence theorems for recursive models on which various relations have specified recursive properties. These capture common features of results in the literature for particular algebraic structures. For a useful class of models with new relations R, S, where S is r.e., we characterize those for which there is a recursive model isomorphic to on which the relation corresponding to S remains r.e., (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Quasi-simple relations in copies of a given recursive structure.C. J. Ash, J. F. Knight & J. B. Remmel - 1997 - Annals of Pure and Applied Logic 86 (3):203-218.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • More undecidable lattices of Steinitz exchange systems.L. R. Galminas & John W. Rosenthal - 2002 - Journal of Symbolic Logic 67 (2):859-878.
    We show that the first order theory of the lattice $\mathscr{L}^{ (S) of finite dimensional closed subsets of any nontrivial infinite dimensional Steinitz Exhange System S has logical complexity at least that of first order number theory and that the first order theory of the lattice L(S ∞ ) of computably enumerable closed subsets of any nontrivial infinite dimensional computable Steinitz Exchange System S ∞ has logical complexity exactly that of first order number theory. Thus, for example, the lattice of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (2 other versions)2005–06 Winter Meeting of the Association for Symbolic Logic.Valentina Harizanov - 2006 - Bulletin of Symbolic Logic 12 (4):613-624.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Bases of Supermaximal Subspaces and Steinitz Systems II.R. G. Downey - 1986 - Mathematical Logic Quarterly 32 (13-16):203-210.
    Download  
     
    Export citation  
     
    Bookmark  
  • Recursion theory in a lower semilattice.Alex Feldman - 1992 - Journal of Symbolic Logic 57 (3):892-911.
    Download  
     
    Export citation  
     
    Bookmark  
  • (2 other versions)Of the association for symbolic logic.Valentina Harizanov - 2006 - Bulletin of Symbolic Logic 12 (4):613-624.
    Download  
     
    Export citation  
     
    Bookmark  
  • Automorphisms of supermaximal subspaces.R. G. Downey & G. R. Hird - 1985 - Journal of Symbolic Logic 50 (1):1-9.
    Download  
     
    Export citation  
     
    Bookmark   7 citations