COMPUTABLE LINEAR ORDERS AND PRODUCTS (Q5148100): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Computability on linear orderings enriched with predicates / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Computable structures and the hyperarithmetical hierarchy / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Handbook of recursive mathematics. Vol. 1: Recursive model theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Orderings with αth Jump Degree 0 (α) / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Δ 2 0 -copies of linear orderings / rank | |||
Normal rank | |||
Revision as of 10:59, 24 July 2024
scientific article; zbMATH DE number 7303635
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COMPUTABLE LINEAR ORDERS AND PRODUCTS |
scientific article; zbMATH DE number 7303635 |
Statements
COMPUTABLE LINEAR ORDERS AND PRODUCTS (English)
0 references
29 January 2021
0 references
computable linear order
0 references
product of linear orderings
0 references
computable structure
0 references
