Works by Asher M. Kach ( view other items matching `Asher M. Kach`, view all matches )

5 found
Sort by:
  1. Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov & Reed Solomon (2012). Jump Degrees of Torsion-Free Abelian Groups. Journal of Symbolic Logic 77 (4):1067-1100.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov & Daniel Turetsky (2010). Decidability and Computability of Certain Torsion-Free Abelian Groups. Notre Dame Journal of Formal Logic 51 (1):85-96.
  3. Rodney G. Downey & Asher M. Kach (2010). Euclidean Functions of Computable Euclidean Domains. Notre Dame Journal of Formal Logic 52 (2):163-172.
    We study the complexity of (finitely-valued and transfinitely-valued) Euclidean functions for computable Euclidean domains. We examine both the complexity of the minimal Euclidean function and any Euclidean function. Additionally, we draw some conclusions about the proof-theoretical strength of minimal Euclidean functions in terms of reverse mathematics.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Asher M. Kach, Oscar Levin & Reed Solomon (2010). Embeddings of Computable Structures. Notre Dame Journal of Formal Logic 51 (1):55-68.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Asher M. Kach & Daniel Turetsky (2010). Limitwise Monotonic Functions, Sets, and Degrees on Computable Domains. Journal of Symbolic Logic 75 (1):131-154.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation