Negative dense linear orders (Q1745085)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Negative dense linear orders |
scientific article; zbMATH DE number 6862425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Negative dense linear orders |
scientific article; zbMATH DE number 6862425 |
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
