Switch to: References

Add citations

You must login to add citations.
  1. The given.John N. Crossley - 1982 - Studia Logica 41 (2-3):131 - 139.
    The paper presents a brief survey of recent work by Metakides, Nerode and others in the area of effective algebra and makes some comments on the relation between formal presentations, characterizations, etc. of sets and of algebraic structures and their practical presentations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Computable Topological Groups.K. O. H. Heer Tern, Alexander G. Melnikov & N. G. Keng Meng - forthcoming - Journal of Symbolic Logic:1-33.
    We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions based on classical notions in the literature. We relate these notions with the well-established definitions of effective presentability for discrete and profinite groups, and compare our results with similar results in computable topology.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark