Negative dense linear orders (Q1745085)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Negative dense linear orders |
scientific article |
Statements
Negative dense linear orders (English)
0 references
20 April 2018
0 references
enumerated systems
0 references
morphisms
0 references
negative and positive linear orders
0 references
computable sequences and sections
0 references
productivity of computable sections
0 references
computable completion
0 references
negative representation of the field of rational numbers
0 references
