• Login
    View Item 
    •   DSpace Home
    • Bethlehem University Faculty Research
    • Faculty of Science
    • View Item
    •   DSpace Home
    • Bethlehem University Faculty Research
    • Faculty of Science
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Undecidability of the word problem for Yamamura’s HNN-extension under nice conditions

    Thumbnail
    View/Open
    Main article (681.6Kb)
    Date
    2016-04
    Author
    Abu Ayyash, Mohammed
    Rodaro, Emanuele
    Metadata
    Show full item record
    Abstract
    The solvability of the word problem for Yamamura’s HNN-extensions [S; A1, A2; ϕ] has been proved in some particular cases. However, we show that, contrary to the group case, the word problem for [S; A1A2; ϕ] is undecidable even if we consider S to have finite R-classes, A1 and A2 to be free inverse subsemigroups of finite rank and with zero, and ϕ , ϕ−1 to be computable.
    URI
    http://dspace.bethlehem.edu:8080/xmlui/handle/123456789/65
    Collections
    • Faculty of Science [82]

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV