Computable linear orders and products

Wu G.; Ng K.M.; Lempp S.; Frolov A.N.

Computable linear orders and products

Frolov A.N.; Lempp S.; Ng K.M.; Wu G.

URI: https://dspace.kpfu.ru/xmlui/handle/net/160842

Date: 2020

Abstract:

© 2020 Cambridge University Press. All rights reserved. We characterize the linear order types with the property that given any countable linear order, is a computable linear order iff is a computable linear order, as exactly the finite nonempty order types.

Show full item record

Files in this item

Name: SCOPUS00224812-20 ...

Size: 44.55Kb

Format: PDF

View/Open

This item appears in the following Collection(s)

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.