COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY (Q5251361)
From MaRDI portal
scientific article; zbMATH DE number 6437555
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY |
scientific article; zbMATH DE number 6437555 |
Statements
COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY (English)
0 references
20 May 2015
0 references
computable order type
0 references
hereditary countable set
0 references
omega-1-computability
0 references
computable categorical order type
0 references
