Switch to: Citations

Add references

You must login to add references.
  1. Stability among r.e. quotient algebras.John Love - 1993 - Annals of Pure and Applied Logic 59 (1):55-63.
    A recursive algebra is a structure for which A is a recursive set of numbers and the Fi are uniformly recursive operations. We define an r.e. quotient algebra to be the quotient by an r.e. congruence .We say that is recursively stable among r.e. quotient algebras if, for each r.e. quotient algebra and each isomorphism from onto ′, the set {a,baA,bB and =[b]′} is r.e.We shall consider examples of recursive stability. Then, assuming that has a recursive existential diagram, we show (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Hiearchies of Boolean algebras.Lawrence Feiner - 1970 - Journal of Symbolic Logic 35 (3):365-374.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   20 citations