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...
Saved in:
| 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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!