Browsing by Author "Ng K."

Sort by: Order: Results:

  • Automatic and Polynomial-Time Algebraic Structures 
    Bazhenov N.; Harrison-Trainor M.; Kalimullin I.; Melnikov A.; Ng K. (2019)
    Copyright © The Association for Symbolic Logic 2019. A structure is automatic if its domain, functions, and relations are all regular languages. Using the fact that every automatic structure is decidable, in the literature ...
  • On Kierstead’s conjecture 
    Ng K.; Zubkov M. (2019)
    © 2019 American Mathematical Society. We settle the long-standing Kierstead conjecture in the negative. We do this by constructing a computable linear order with no rational subintervals, where every block has order type ...
  • The Diversity of Categoricity Without Delay 
    Kalimullin I.; Melnikov A.; Ng K. (2017)

Search DSpace

Browse

My Account