Decidable subspaces and recursively enumerable subspaces (Q3710516)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidable subspaces and recursively enumerable subspaces |
scientific article |
Statements
Decidable subspaces and recursively enumerable subspaces (English)
0 references
1984
0 references
decidability
0 references
r.e. subspace
0 references
fully effective vector space
0 references
first-order theory
0 references
