No label defined (Q4249724)
From MaRDI portal
scientific article; zbMATH DE number 1303201
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1303201 |
Statements
31 July 2000
0 references
effective content of classical theorems
0 references
survey
0 references
computability theory of linear orderings
0 references
computable orderings
0 references
infinite injury priority method
0 references
presentations
0 references