Infinite dimensional proper subspaces of computable vector spaces (Q402446)
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: Infinite dimensional proper subspaces of computable vector spaces |
scientific article; zbMATH DE number 6335136
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinite dimensional proper subspaces of computable vector spaces |
scientific article; zbMATH DE number 6335136 |
Statements
Infinite dimensional proper subspaces of computable vector spaces (English)
0 references
28 August 2014
0 references
computability theory
0 references
vector space
0 references
reverse mathematics
0 references
\(\Pi_1^0\)-classes
0 references
low basis theorem
0 references
0 references
0 references
0.8762443
0 references
0.8759875
0 references
0.87553394
0 references
0.87061876
0 references
0.86747813
0 references
0.86648923
0 references
0.8654569
0 references
