Kazan Federal University Digital Repository

Browsing by Subject "computable presentations"

Browsing by Subject "computable presentations"

Sort by: Order: Results:

  • Frolov A. (2012)
    We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We construct a computable presentation of any low weakly η-like linear ordering with no strongly η-like interval. Also we ...
  • Frolov A. (2010)
    We prove that a nontrivial degree spectrum of the successor relation of either strongly η-like or non-η-like computable linear orderings is closed upwards in the class of all computably enumerable degrees. We also show ...
  • Frolov A. (2014)
    In this paper we construct a low2 scattered linear orderings with no computable presentation. This is a negative answer for the question of A. Kach and A. Montalbán. © 2014 Pleiades Publishing, Ltd.

Search DSpace

Browse

My Account