On a computable presentation of low linear orders
R. Downey in the review paper of 1998 stated the research program on studying and description of sufficient conditions of computable representability of linear orders, namely, the problem of description of the order type P such that, for any low linear order L, from P(L) it follows that L has a co...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Kazan Federal University
2017-12-01
|
Series: | Учёные записки Казанского университета. Серия Физико-математические науки |
Subjects: | |
Online Access: | https://kpfu.ru/on-a-computable-presentation-of-low-linear-orders_336177.html |